Modelling and verification of end-to-end transport protocols
- 1 September 1978
- journal article
- Published by Elsevier in Computer Networks (1976)
- Vol. 2 (4-5) , 381-395
- https://doi.org/10.1016/0376-5075(78)90017-x
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976
- A Methodology for the Design and Implementation of Communication ProtocolsIEEE Transactions on Communications, 1976
- Interprocess communication facilities for network operating systemsComputer, 1974
- A Protocol for Packet Network IntercommunicationIEEE Transactions on Communications, 1974
- Data Communication Control ProceduresACM Computing Surveys, 1972
- A system for interprocess communication in a resource sharing computer networkCommunications of the ACM, 1972