The following pages link to Asynchronous system synthesis (Q1776590):
Displaying 9 items.
- Kaisa Sere: in memoriam (Q736909) (← links)
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- Arbiters: An exercise in specifying and decomposing asynchronously communicating components (Q1193741) (← links)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms (Q3612931) (← links)
- (Q4251925) (← links)
- (Q4737196) (← links)
- (Q5459532) (← links)
- Synchronous development of asynchronous systems (Q6104432) (← links)