A methodology for constructing communication protocols with multiple concurrent functions

DOI10.1007/BF01788565zbMATH Open0659.68042MaRDI QIDQ1112596FDOQ1112596

Authors: Huaian Lin 

Publication date: 1988

Published in: Distributed Computing (Search for Journal in Brave)

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

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)

Cites Work

• On Communicating Finite-State Machines
• Closed Covers: To Verify Progress for Communicating Finite State Machines
• Boundedness, empty channel detection, and synchronization for communicating finite automata
• Protocol Verification via Projections
• Title not available (Why is that?)
• An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets

Cited In (2)

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

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)