Specification and Validation of Protocols
- 1 November 1979
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Communications
- Vol. 27 (11), 1671-1680
- https://doi.org/10.1109/tcom.1979.1094323
Abstract
No abstract availableThis publication has 25 references indexed in Scilit:
- A Failsafe Distributed Routing ProtocolIEEE Transactions on Communications, 1979
- Automated protocol validation: One chain of developmentComputer Networks (1976), 1978
- Finite state description of communication protocolsComputer Networks (1976), 1978
- Petri NetsACM Computing Surveys, 1977
- Formal verification of parallel programsCommunications of the ACM, 1976
- EthernetCommunications of the ACM, 1976
- A Methodology for the Design and Implementation of Communication ProtocolsIEEE Transactions on Communications, 1976
- A note on recoverability of modular systemsPublished by Association for Computing Machinery (ACM) ,1975
- Functional Specification of Call Processing by State Transition DiagramIEEE Transactions on Communication Technology, 1971
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969