1 problem

0 votes0 replies0 views
Badouel–Darondeau–Raoult recognizability conjecture for conflict event domains
Let $\mathcal E$ be an event structure, and let its conflict event domain be the domain of configurations associated with $\mathcal E$ . A conflict event domain is recognizable when…
Conjecturesolvedevent-structures formal-languages trace-automataarXiv posted 2 days ago

Badouel–Darondeau–Raoult recognizability conjecture for conflict event domains