Pages that link to "Item:Q2505637"
From MaRDI portal
The following pages link to Concurrency in synchronous systems (Q2505637):
Displaying 14 items.
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Compositional design of isochronous systems (Q456402) (← links)
- Structure of concurrency (Q685384) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- Progress assumption in concurrent systems (Q1805398) (← links)
- A framework for modeling the distributed deployment of synchronous designs (Q2505631) (← links)
- Concurrency in synchronous systems (Q2505637) (← links)
- From concurrent multi-clock programs to deterministic asynchronous implementations (Q2895778) (← links)
- (Q3691068) (← links)
- (Q3763575) (← links)
- (Q3982059) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)
- Synchronous development of asynchronous systems (Q6104432) (← links)
- Concurrency: handling interference formally (Q6165766) (← links)