An Axiomatic Description of the Transport Protocol of Cyclades

Authors:
André A. S. Danthine;Joseph Bremer
Affiliations:
-;-
Venue:
Rechnernetze und Datenfernverarbeitung, Fachtagung der GI und NTG
Year:
1976

Citing 0
Cited 4

Experience with Charlotte: Simplicity and Function in a Distributed Operating System

IEEE Transactions on Software Engineering
An approach to describing a data link level protocol with a formal language

SIGCOMM '77 Proceedings of the fifth symposium on Data communications
Survey of protocol definition and verification techniques

ACM SIGCOMM Computer Communication Review
General technique for communications protocol validation

IBM Journal of Research and Development

Quantified Score

Hi-index	0.00

Visualization

Abstract