The following pages link to (Q5190785):
Displaying 8 items.
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- Controlling loosely cooperating processes (Q896910) (← links)
- (Q4275049) (← links)
- Distributed Asynchronous Games With Causal Memory are Undecidable (Q5043589) (← links)
- (Q5136322) (← links)
- On the control of asynchronous machines with races (Q5266838) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709999) (← links)
- (Q5875388) (← links)