Pages that link to "Item:Q1802074"
From MaRDI portal
The following pages link to Modular specification of process algebras (Q1802074):
Displaying 6 items.
- Process algebra with language matching (Q1391794) (← links)
- Process algebra with strategic interleaving (Q2000000) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Network algebra for asynchronous dataflow<sup>∗</sup> (Q4375420) (← links)
- The parallel composition of uniform processes with data (Q5958772) (← links)
