Pages that link to "Item:Q515654"
From MaRDI portal
The following pages link to Petri games: synthesis of distributed systems with causal memory (Q515654):
Displaying 12 items.
- A two-player asynchronous game on fully observable Petri nets (Q2032842) (← links)
- Canonical representations for direct generation of strategies in high-level Petri games (Q2117156) (← links)
- 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)
- Model Checking Data Flows in Concurrent Network Updates (Q3297609) (← links)
- (Q3384880) (← links)
- Distributed Asynchronous Games With Causal Memory are Undecidable (Q5043589) (← links)
- (Q5136320) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465860) (← links)
- (Q5875388) (← links)
- High-level representation of benchmark families for Petri games (Q6045029) (← links)