An improved protocol validation technique
Computer Networks (1976)Published 1 May 1982
Jack Rubin, Colin H. West
Citations102
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
It is shown that communication between asynchronous processes can be expressed as sequences of nondecomposable, basic interaction which in the general case involve multiple message exchanges.
Abstract
It is shown that communication between asynchronous processes can be expressed as sequences of nondecomposable, basic interaction which in the general case involve multiple message exchanges. Consideration of the form of these interactions leads to an understanding of the limitations of protocol-validation techniques and improves their efficiency.
Keywords
Computer Science
Communications of the ACMTime, clocks, and the ordering of events in a distributed system
8,437 Citations1978Leslie Lamport
A distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events, and a bound is derived on how far out of synchrony the clocks can become.
Computer Networks (1976)Finite state description of communication protocols
282 Citations1978Gregor von Bochmann
The paper discusses different aspects of protocol validation, some verification tools based on the finite state formalism, and the basic limitations of the finitestate modelling of protocols.
IRE Transactions on Communications SystemsTowards Analyzing and Synthesizing Protocols
239 Citations1980P. Zafiropulo, Colin H. West +3 more
IRE Transactions on Communications SystemsFormal Methods in Communication Protocol Design
221 Citations1980Gregor von Bochmann, Carl A. Sunshine
This paper surveys the formal methods being applied to the problems of protocol specification, verification, and implementation, including state transition models, program verification, symbolic execution, and design rules.
IBM Journal of Research and DevelopmentGeneral Technique for Communications Protocol Validation
133 Citations1978Colin H. West
The validation exhaustively exercises the interaction domain of a system and identifies all occurrences of a number of well-defined error conditions that can detect when individual processes have no predefined response to incoming messages.
IRE Transactions on Communications SystemsSpecification and Validation of Protocols
90 Citations1979Philip M. Merlin
The "topology" of a protocol is defined, and protocols that are intended to work in a variety of configurations, as well as configurations which may change in time (i.e. "evolving topologies").
IBM Journal of Research and DevelopmentAutomated Validation of a Communications Protocol: the CCITT X.21 Recommendation
87 Citations1978Colin H. West, P. Zafiropulo
The X.21 interface recommended by the International Telegraph and Telephone Consultative Committee (CCITT) has been validated as a test of a recently developed theory and of an implemented system for automated communications protocol validation.
IRE Transactions on Communications SystemsExecutable Description and Validation of SNA
47 Citations1980G. D. Schultz, David B. Rose +2 more
The definition of IBM's Systems Network Architecture has evolved into a specification of a node in the form of a metaimplementation using formal, state-oriented descriptive techniques, and the development of a PL/I-based programming language, Format and Protocol Language (FAPL), as a descriptive tool is described.
Computer Networks (1976)Survey of protocol definition and verification techniques
29 Citations1978Carl A. Sunshine
International Conference on Software EngineeringOn the modelling, analysis and design of protocols - a special class of software structures
8 Citations1976Mohamed G. Gouda, Eric G. Manning
In this paper, some of the formal models and techniques that can be applied on the modelling, analysis and design of communication protocols are reviewed.
Computer Networks (1976)Distributed synchronization and regularity
6 Citations1979Gregor von Bochmann
A descriptive model for the specification of distributed systems, and defined system properties which imply regular system behaviour are presented, which guarantee that the logical behaviour of the system is independent of the communication delays.