Finite state description of communication protocols
- 31 October 1978
- journal article
- Published by Elsevier in Computer Networks (1976)
- Vol. 2 (4-5) , 361-372
- https://doi.org/10.1016/0376-5075(78)90015-6
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Notes on the X.25 procedures for virtual call establishment and clearingACM SIGCOMM Computer Communication Review, 1977
- Some problems with the X.25 packet level protocolACM SIGCOMM Computer Communication Review, 1977
- Formal verification of parallel programsCommunications of the ACM, 1976
- A Methodology for the Design and Implementation of Communication ProtocolsIEEE Transactions on Communications, 1976
- Geology of Uranium in Sandstones in CanadaPublished by Natural Resources Canada/CMSS/Information Management ,1976
- A note on reliable full-duplex transmission over half-duplex linksCommunications of the ACM, 1969