On the Use of LOTOS for the Formal Description of a Transport Protocol.

Jeroen van de Lagemaat, Giuseppe Scollo

Browse the full FORTE paper archive.