An improved protocol validation technique

Computer Networks (1976)

Volumn 6, Issue 2, 1982, Pages 65-73

  Rubin, J ^a   West, C H ^b  

^a IBM   (United States)

^b IBM RESEARCH ZURICH   (Switzerland)

Author keywords

Communication Systems; Interactions; Protocol Validations

Indexed keywords

COMPUTERS;

EID: 0020135595     PISSN: 03765075     EISSN: None     Source Type: Journal    
DOI: 10.1016/0376-5075(82)90029-0     Document Type: Article

References (14)

1. General Technique for Communications Protocol Validation
2. Distributed Systems and Regularity
3. Formal Methods in Communication Protocol Design
4. On the Modelling, Analysis and Design of Protocols — A Special Class of Software Structures
5. Survey of Protoco Definition and Verification Techniques
6. Specification and Validation of Protocols
7. Finite State Description of Communication Protocols
8. Formal Modelling of Communication Protocols
9. Automatically Verified Data Transfer Protocols
10. Automated Validation of a Communications Protocol the CCITT X21 Recommendaation
11. Executable Description and Validation of SNA
12. Towards Analyzing and Synthesizing Protocols
13. Time, Clocks and the Ordering of Events in a Distributed System
14. Synthesis of Protocols for an Unlimited Number of Processes