iso 8807

from The Free On-line Dictionary of Computing (8 July 2008)

Language Of Temporal Ordering Specification
ISO 8807
LOTOS

   <language> (LOTOS) A formal {specification language} based on
   temporal ordering used for {protocol} specfication in {ISO}
   {OSI} {standards}.  It is published as ISO 8807 in 1990 and
   describes the order in which events occur.

   ["The Formal Description Technique LOTOS", P.H.J. van Eijk et
   al eds, N-H 1989].

   (1995-03-18)