A methodology for constructing communication protocols with multiple concurrent functions
A methodology is presented for the construction of communication protocols which perform several distinct functions simultaneously. The construction of such a multi-function protocol consist of three steps: (1) the development of component protocols for the different functions, (2) the integration of component protocols into a merged protocol, and (3) the specification of operational relationship among the component protocols. The conditions required for the resulting merged protocol to retain the safety properties, such as freedom from unspecified receptions, freedom from deadlocks, and boundedness, of the component protocols are discussed. The methodology is simple and facilitates the reuse of existing protocols. Two examples are given to illustrate its usage: a full-duplex data transfer protocol and another data transfer protocol with pipelining and flow control.
- 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
- scientific article; zbMATH DE number 804357 (Why is no real title available?)
- On Communicating Finite-State Machines
- Protocol Verification via Projections
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)
