Research @ RUN
	LOTOS and ELOTOS

Tutorial references on LOTOS ISO 8807. Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behavior, 1989. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14 (1987) 25-59. L. Logrippo, M. Faci and M. Haj-Hussein,. An Introduction to LOTOS: Learning by Examples. Computer Networks and ISDN Systems 23 (1992) 325-342. LOTOS bibliography and mailing list Many LOTOS-related papers can be found in the LOTOS bibliography There exists a LOTOS mailing list: lotos-world@site.uottawa.ca ELOTOS standard and documents ISO/IEC 15437:2001, "Information Technology - E-LOTOS", ISO/IEC International Standard, 2001, 198 pages. All input and output documents of E-LOTOS meetings are available by ftp.

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc - Webmaster: - C. Soldani -

Still running IPv4 at: 3.147.104.120...

RUN | Montefiore | ULg © 2000-2024.