Protocol design using LOTOS: A critical synthesis of a standardization experience

H.H.C. Kremer; J. van de Lagemaat; A. Rennoch; G.S. Scollo

Protocol design using LOTOS: A critical synthesis of a standardization experience

H.H.C. Kremer, J. van de Lagemaat, A. Rennoch, G.S. Scollo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	FORTE'92
Subtitle of host publication	Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Place of Publication	Amsterdam
Publisher	North Holland
Pages	231–246
ISBN (Print)	978-0-444-89282-9
Publication status	Published - 16 Oct 1992

Access to Document

https://dl.acm.org/doi/10.5555/646211.683768

Cite this

Kremer, H. H. C., van de Lagemaat, J., Rennoch, A., & Scollo, G. S. (1992). Protocol design using LOTOS: A critical synthesis of a standardization experience. In FORTE'92: Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (pp. 231–246). North Holland. https://dl.acm.org/doi/10.5555/646211.683768

@inproceedings{43a1c8771ef84e35888fb1f97c173755,

title = "Protocol design using LOTOS: A critical synthesis of a standardization experience",

author = "H.H.C. Kremer and {van de Lagemaat}, J. and A. Rennoch and G.S. Scollo",

year = "1992",

month = oct,

day = "16",

language = "English",

isbn = "978-0-444-89282-9",

pages = "231–246",

booktitle = "FORTE'92",

publisher = "North Holland",

address = "Netherlands",

}

Kremer, HHC, van de Lagemaat, J, Rennoch, A & Scollo, GS 1992, Protocol design using LOTOS: A critical synthesis of a standardization experience. in FORTE'92: Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols. North Holland, Amsterdam, pp. 231–246. <https://dl.acm.org/doi/10.5555/646211.683768>

Protocol design using LOTOS: A critical synthesis of a standardization experience. / Kremer, H.H.C.; van de Lagemaat, J.; Rennoch, A. et al.
FORTE'92: Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols. Amsterdam: North Holland, 1992. p. 231–246.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review