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]]