An Axiomatic Description of the Transport Protocol of Cyclades

André A. S. Danthine, Joseph Bremer. An Axiomatic Description of the Transport Protocol of Cyclades. In Dieter Haupt, Heinz Petersen, editors, Rechnernetze und Datenfernverarbeitung, Fachtagung der GI und NTG, Aachen, 31.3.-2.4.1976. Volume 3 of Informatik-Fachberichte, pages 259-273, Springer, 1976.

Abstract

Abstract is missing.