Abstract
A problem of representation arises at each of the major development phases of a protocol:
-
definition and testing of the definition,
-
implementation and testing of the implementation,
-
documentation of an implemented protocol.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
AKKOYUNLU E., BERNSTEIN A., SCHANTZ R., Interprocess Communication Facilities Network Operating Systems, Computer, June 1974, p. 46–55.
DANTHINE A., BREMER J., Définition, représentation et simulation de protocoles dans un contexte réseaux, Journ. Intern. Mini-ordinateurs et Transm. de Données, AIM, Liège, Janvier 1975, p. 115–126. Also: Bulletin Scientifique de l’AIM, vol. 88, n° 2, Avril-Juin 1975, p. 115–126.
DANTHINE A., BREMER J., Communication Protocols in a Network Context, Proceedings ACM Interprocess Communication Workshop, Santa Monica, March 1975, p. 87–92.
GARCIA C., GARDIER R., MARCHAND A., MARTIN M., ZIMMERMANN H., Spécifications de réalisation de la station de transport ST2 portable, Réseau Cyclades (SCH 536.1). Février 1975, 83 p.
LE MOLI G., A Theory of Colloquies, First European Workshop on Computer Networks ARLES, April-May 1973, p. 153–173.
MEZZALIRA L., SCHREIBER F.A., Designing Colloquies, First European Workshop on Computer Networks ARLES, April-May 1973, p. 351–363.
POSTEL J.B., A Graph Model Analysis of Computer Communications Protocols, UCLA-ENG 7410, January 1974, 184 p.
VINCIOTTI J., Sur l’utilisation des principes de programmation structurée pour la description des protocoles, CTN-EIA (7408/21/N.T.), Février 1974.
ZIMMERMANN H., The Cyclades End to End Protocol, 4th Datacomm. Symposium, Quebec City, October 1975, p. 7–21 to 7–26.
ZIMMERMANN H., ELIE M., Transport Protocol. Standard Host-Host Protocol for Heterogenous Computer Networks, Réseaux Cyclades (SCH 519.1), Avril 1974.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Danthine, A.A.S., Bremer, J. (1976). An Axiomatic Description of the Transport Protocol of Cyclades. In: Haupt, D., Petersen, H. (eds) Rechnernetze und Datenfernverarbeitung. Informatik-Fachberichte, vol 3. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-66344-4_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-66344-4_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07672-8
Online ISBN: 978-3-642-66344-4
eBook Packages: Springer Book Archive