Pages that link to "Item:Q1802074"
From MaRDI portal
The following pages link to Modular specification of process algebras (Q1802074):
Displaying 12 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)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Process algebras as specification language (work in progress) (Q2842868) (← links)
- Process algebra for modal transition systemses (Q2917271) (← links)
- (Q3490966) (← links)
- Network algebra for asynchronous dataflow<sup>∗</sup> (Q4375420) (← links)
- The parallel composition of uniform processes with data (Q5958772) (← links)
- Steps in modular specifications for concurrent modules (invited tutorial paper) (Q5971389) (← links)
- Bounded stacks, bags and queues (Q6044112) (← links)