Pages that link to "Item:Q2505637"
From MaRDI portal
The following pages link to Concurrency in synchronous systems (Q2505637):
Displayed 5 items.
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Compositional design of isochronous systems (Q456402) (← links)
- A framework for modeling the distributed deployment of synchronous designs (Q2505631) (← links)
- Concurrency in synchronous systems (Q2505637) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)