The Application of LOTOS for the Formal Description of the ISO Session Layer.

Marten van Sinderen, Ibrahim Ajubi, Fausto Caneschi

Browse the full FORTE paper archive.