资料来源 : Free On-Line Dictionary of Computing

Language Of Temporal Ordering Specification
     
         (LOTOS) A formal {specification language} based on
        temporal ordering used for {protocol} specfication in {ISO}
        {OSI} {standard}s.  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)