language of temporal ordering specification

1 definition found

language of temporal ordering specification - Free On-line Dictionary of Computing (26 May 2007) :

  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)