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

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.