Specification and analysis of a data transfer protocol using systems of communicating machines
- 1 December 1991
- journal article
- Published by Springer Nature in Distributed Computing
- Vol. 5 (3) , 145-157
- https://doi.org/10.1007/bf02252957
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An introduction to Estelle: A specification language for distributed systemsComputer Networks and ISDN Systems, 1987
- Spanner: A Tool for the Specification, Analysis, and Evaluation of ProtocolsIEEE Transactions on Software Engineering, 1987
- A Test Design Methodology for Protocol TestingIEEE Transactions on Software Engineering, 1987
- Protocol analysis and synthesis by structured partitionsComputer Networks and ISDN Systems, 1986
- An informal overview of formal protocol specificationIEEE Communications Magazine, 1985
- A methodology for verifying request processing protocolsPublished by Association for Computing Machinery (ACM) ,1983
- Maximal progress state explorationPublished by Association for Computing Machinery (ACM) ,1983
- Reachability analysis of protocols with FIFO channelsPublished by Association for Computing Machinery (ACM) ,1983
- Communicating sequential processesCommunications of the ACM, 1978
- Formal verification of parallel programsCommunications of the ACM, 1976