A methodology for constructing communication protocols with multiple concurrent functions

DOI10.1007/BF01788565MaRDI QIDQ1112596zbMATH OpenFDO

Authors Huaian Lin

Publication date 1988

Published in Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

communication protocolssafety propertiesextended communicating finite-state machinesmerged networksprotocol composition

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Recommendations

• The synthesis of communication protocols
• scientific article; zbMATH DE number 865194
• Constraint-based structuring of network protocols
• Specification and analysis of a composition of protocols
• scientific article; zbMATH DE number 177506

Cites work

• scientific article; zbMATH DE number 804357 (Why is no real title available?)
• 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
• On Communicating Finite-State Machines
• Protocol Verification via Projections

Cited in

(2)

• Constraint-based structuring of network protocols
• An alternative implementation of communication primitives

This page was built for publication: A methodology for constructing communication protocols with multiple concurrent functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1112596)