Language Of Temporal Ordering Specification

Language Of Temporal Ordering Specification

Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering used for protocol specification in ISO OSI standards. It was published as ISO 8807 in 1990 and describes the order in which events occur.

See also

References

  • The Formal Description Technique LOTOS, P.H.J. van Eijk et al., editors, N-H, 1989.

External links

Search another word or see language of temporal ordering specificationon Dictionary | Thesaurus |Spanish
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT