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
The Specification and Verification of a Connection Establishment Protocol Using Temporal Logic
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
Modeling X.25 Using the Graph Model of Behavior
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
A decomposition method for the analysis and design of finite state protocols
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
An exercise in constructing multi-phase communication protocols
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Proving safety and liveness of communicating processes with examples
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Network protocol: A structured approach
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
State Machines and Assertions (An Integrated Approach to Modeling and Verification of Distributed Systems
A discipline for verification and modular construction of communication protocols (design methodology, tool)
Constructing verified and reliable communications processing systems
ACM SIGSOFT Software Engineering Notes
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Constructing Protocols with Alternative Functions
IEEE Transactions on Computers - Special issue on protocol engineering
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Synthesizing a Protocol Converter From Executable Protocol Traces
IEEE Transactions on Computers - Special issue on protocol engineering
A methodology for designing communication protocols
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Modeling physical layer protocols using communicating finite state machines
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
Protocol Validation for Large-Scale Applications
IEEE Software
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
Constraint-based structuring of network protocols
Distributed Computing
Decidability of the termination problem for completely specified protocols
Distributed Computing
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
Verifying liveness properties of multifunction composite protocols
Computer Communications
| Hi-index | 0.00 |
Many communication protocols can be observed to go through different phases performing a distinct function in each phase. A multiphase model for such protocols is presented. 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 multifunction protocol is constructed by first constructing separate phases to perform its different functions. It is shown how to connect these phases together to realize the multifunction protocol so that the resulting network of communicating finite state machines is also a phase (i.e., it possesses the desirable properties defined for phases). The modularity inherent in multiphase protocols facilitates not only their construction but also their understanding and modification. An abundance of protocols have been found in the literature that can be constructed as multiphase protocols. Three examples are presented here: two versions of IBM's BSC protocol for data link control and a token ring network protocol.