The following pages link to (Q5875388):
Displayed 4 items.
- The synthesis problem for repeatedly communicating Petri games (Q2165240) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems (Q3297600) (← links)
- Distributed Asynchronous Games With Causal Memory are Undecidable (Q5043589) (← links)