A General Transition Model for Protocols and Communication Services
- 1 April 1980
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Communications
- Vol. 28 (4) , 643-650
- https://doi.org/10.1109/tcom.1980.1094696
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Development and Structure of an X.25 ImplementationIEEE Transactions on Software Engineering, 1979
- Message link protocol (MLP)ACM SIGCOMM Computer Communication Review, 1979
- Finite state description of communication protocolsComputer Networks (1976), 1978
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- A data transfer protocolComputer Networks (1976), 1976
- Formal verification of parallel programsCommunications of the ACM, 1976