The following pages link to (Q2963915):
Displaying 6 items.
- On deciding synchronizability for asynchronously communicating systems (Q344799) (← links)
- Aligning the representation and reality of computation with asynchronous logic automata (Q652552) (← links)
- Designing and using a single-step functional model of an asynchronous automaton (Q1057238) (← links)
- Realizability of concurrent recursive programs (Q1620953) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)