Technical aspects of data communication (3rd ed.)
Technical aspects of data communication (3rd ed.)
Computer networks
A discipline for constructing multiphase communication protocols
ACM Transactions on Computer Systems (TOCS)
On Communicating Finite-State Machines
Journal of the ACM (JACM)
Communications Architecture for Distributed Systems
Communications Architecture for Distributed Systems
An exercise in constructing multi-phase communication protocols
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
On the Notion of Equivalence for Communicating Finite State Machines
On the Notion of Equivalence for Communicating Finite State Machines
Modeling a transport layer protocol using first-order logic
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Self-Synchronizing Communication Protocols
IEEE Transactions on Computers
| Hi-index | 0.00 |
We illustrate the usefulness of communicating finite state machines in modeling a number of physical layer protocols that include (i) an asynchronous start-stop protocol and (ii) a protocol for synchronous transmission with modems. Each protocol is modeled as a network of four finite state machines that communicate by exchanging messages over unbounded, FIFO channels. (Two machines are used to model the protocol itself, while the other two are used to model its interface to the upper data link protocol in the protocol hierarchy.) We outline a methodology to verify communication boundedness and progress for each protocol model. The methodology is based on three techniques that were proposed earlier to verify networks of communicating finite state machines; they are network decomposition, machine equivalence, and closed covers.