Language Of Temporal Ordering Specification
1117722
223874981
2008-07-06T08:02:10Z
84.101.10.34
/* External links */
'''Language Of Temporal Ordering Specification''' (LOTOS) is a [[formal methods|formal]] [[specification language]] based on [[temporal logic|temporal]] ordering used for [[Communications protocol|protocol]] [[specification]] in [[International Organization for Standardization|ISO]] [[OSI model|OSI]] [[ISO standard|standards]]. It was published as ISO 8807 in [[1990]] and describes the order in which events occur.
==See also==
* [[Formal methods]]
* [[List of ISO standards]]
==References==
* ''The Formal Description Technique LOTOS'', P.H.J. van Eijk ''et al.'', editors, N-H, [[1989]].
==External links==
<!-- *[http://wwwtios.cs.utwente.nl/lotos/ LOTOS] -->
*[http://www.cs.stir.ac.uk/~kjt/research/well/ World-wide Environment for Learning LOTOS (WELL)]
*[http://www.inrialpes.fr/vasy/cadp/tutorial/ Tutorials for LOTOS (see section 2)]
{{FOLDOC}}
[[Category:Process calculi]]
[[Category:Formal specification languages]]
{{compu-lang-stub}}
[[de:LOTOS]]