IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Modeling physical layer protocols using communicating finite state machines
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
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)
Communications Architecture for Distributed Systems
Communications Architecture for Distributed Systems
McGraw-Hill's Compilation of Data Communications Standards
McGraw-Hill's Compilation of Data Communications Standards
Verification of a methodology for designing reliable communication 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
A new methodology for designing communication protocols
A new methodology for designing communication protocols
Constructing Protocols with Alternative Functions
IEEE Transactions on Computers - Special issue on protocol engineering
Hi-index | 14.98 |
An approach called self-synchronizing communication protocols (SSPs) is presented for handling synchronization problems in communication protocols. It is found that many synchronization errors are caused by process collision, which arises when two or more processes simultaneously transmit conflicting messages. A synchronization mechanism that allows processes to detect and resolve collisions during operation is proposed. Advantages of this approach are the simplification and standardization of protocol design. The alternative design of two operating protocols, the CCITT X.21 and a session control protocol in the IBM System Network Architecture (SNA), using SSPs is discussed. It is found that all the errors in a previous version of X.21 result directly from process collision. Making the protocol a suitable candidate for the application of SSPs. The design of an abbreviated version of the SNA session-control protocol using SSPs shows the applicability of the method to protocols with more than two processes and the resulting simplification of the design.