A methodology for constructing communication protocols with multiple concurrent functions
From MaRDI portal
Publication:1112596
DOI10.1007/BF01788565zbMath0659.68042MaRDI QIDQ1112596
Publication date: 1988
Published in: Distributed Computing (Search for Journal in Brave)
safety propertiescommunication protocolsextended communicating finite-state machinesmerged networksprotocol composition
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Cites Work
- Unnamed Item
- An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
- Boundedness, empty channel detection, and synchronization for communicating finite automata
- Closed Covers: To Verify Progress for Communicating Finite State Machines
- Protocol Verification via Projections
- On Communicating Finite-State Machines
This page was built for publication: A methodology for constructing communication protocols with multiple concurrent functions
