On the Use of LOTOS for the Formal Description of a Transport Protocol - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jeroen van de Lagemaat, Giuseppe Scollo. On the Use of LOTOS for the Formal Description of a Transport Protocol. In Kenneth J. Turner, editor, Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. pages 247-261, North-Holland, 1988.

Abstract is missing.

runs on WebDSL