An Axiomatic Description of the Transport Protocol of Cyclades