Pages that link to "Item:Q5958772"
From MaRDI portal
The following pages link to The parallel composition of uniform processes with data (Q5958772):
Displayed 4 items.
- Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Analysis of a distributed system for lifting trucks. (Q1400154) (← links)
- Multiparty Contract Signing Over a Reliable Network (Q2804932) (← links)