World-wide Environment
for Learning LOTOS (WELL) -
Resources
INRIA
Rhône-Alpes and VERIMAG (FR):
Polytechnic University
of Madrid (ES):
University of
Ottawa (CA)
University of
Stirling (UK)
University of
Twente (NL):
There is an email exploder to reach the LOTOS community by email. The comp.specification.misc newsgroup also occasionally carries items of LOTOS interest.
ELOTOS is currently an ISO Committee Draft. Most LOTOS sites have online copies of papers and documentation. Major publications related to LOTOS are listed below.
LOTOS News has reported on activities related to LOTOS, from projects to papers to tools. However, the newsletter is no longer published since it has been replaced by online information at various LOTOS sites.
A bibliography of LOTOS articles is available online. This is an approximation to the one you can retrieve in BibTeX form, compressed using gzip.
A Vade Mecum for LOTOS syntax is available as PostScript compressed using gzip.
Tommaso Bolognesi, Jeroen van de Lagemaat and Chris A. Vissers, editors.
The LOTOSPHERE Project. Kluwer Academic Publishers, London, UK,
1995.
Peter H. J. van Eijk, Chris A. Vissers and Michel Diaz, editors.
The Formal Description Technique LOTOS: Results of the Esprit SEDOS
Project. Elsevier Science, Amsterdam, Netherlands, 1989.
ISO. Information Processing Systems - Open Systems Interconnection
- LOTOS - A Formal Description Technique based on the Temporal Ordering of
Observational Behaviour. ISO/IEC 8807, International Organisation
for Standardization, Geneva, Switzerland, 1989.
ISO. Information
Processing Systems - Open Distributed Processing - ELOTOS - Extended
LOTOS. Committee Draft, International Organisation for
Standardization, Geneva, Switzerland, May 1998.
Kenneth J. Turner, editor. Using Formal Description Techniques - An Introduction to
ESTELLE, LOTOS and SDL. Wiley, New York, USA, January 1993.
Up
one level to World-Wide LOTOS
Last Update: 15th July 2006