On Communicating Finite-State Machines
Journal of the ACM (JACM)
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
An HDLC protocol specification and its verification using image protocols
ACM Transactions on Computer Systems (TOCS)
Communications Architecture for Distributed Systems
Communications Architecture for Distributed Systems
Proving safety and liveness of communicating processes with examples
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Closed Covers: to Verify Progress for Communicating Finite State Machines
Closed Covers: to Verify Progress for Communicating Finite State Machines
On the Progress of Communication Between Two Machines
On the Progress of Communication Between Two Machines
Protocol Verification Via Projections
Protocol Verification Via Projections
Protocol Validation by Maximal Progress State Exploration
Protocol Validation by Maximal Progress State Exploration
A Discipline for Constructing Multi-phase Communication Protocols
A Discipline for Constructing Multi-phase Communication Protocols
Constructing verified and reliable communications processing systems
ACM SIGSOFT Software Engineering Notes
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
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
A discipline for constructing multiphase communication protocols
ACM Transactions on Computer Systems (TOCS)
Modeling physical layer protocols using communicating finite state machines
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
An Improved Method for Constructing Multiphase Communications Protocols
IEEE Transactions on Computers
PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols
IEEE Transactions on Software Engineering
A technique for proving liveness of communicating finite state machines with examples
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Information Processing and Management: an International Journal
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
On constructing communication protocols from component-based service specifications
Computer Communications
| Hi-index | 0.01 |
Many real-life protocols can be observed to go through different phases performing a distinct function in each phase. We present a multi-phase model for such protocols. A phase is formally defined to be a network of communicating finite state machines with certain desirable correctness properties; these include proper termination, and freedom from deadlocks and unspecified receptions. A multi-function protocol is constructed by first constructing separate phases to perform its different functions. We discuss how to connect these phases together to implement the multi-function protocol such that the resulting network of communicating finite state machines is also a phase (i.e. it possesses the desirable properties defined for phases). A high-level session control protocol modeled after one in IBM's Systems Network Architecture is discussed, and constructed as a multi-phase protocol.