Hyperbolic event-domain conjecture for Thiagarajan and Badouel–Darondeau–Raoult
Hyperbolic event-domain conjecture for Thiagarajan and Badouel–Darondeau–Raoult
Let an event domain be the domain of an event structure, and call it hyperbolic when its underlying graph is hyperbolic. Hyperbolic event-domain conjecture. Conjectures Thiagarajan's and Badouel–Darondeau–Raoult's are true for hyperbolic event domains. The source says this generalizes a theorem for strongly hyperbolic regular event structures and known results for context-free domains, but gives no resolution in general.
Sources & referencesView supporting material
Primary source
Jérémie Chalopin and Victor Chepoi, “A counterexample to Thiagarajan's conjecture on regular event structures”, arXiv:1605.08288 (2018).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.