An Axiomatic Description of the Transport Protocol of Cyclades

• 1 January 1976
• book chapter
• Published by Springer Nature
• p. 259-273
• https://doi.org/10.1007/978-3-642-66344-4_21

Abstract

Keywords

• TRANSPORT PROTOCOL
• PROTOCOL OF CYCLADES
• AXIOMATIC DESCRIPTION OF THE TRANSPORT