Language Of Temporal Ordering Specification

From Wikipedia, the free encyclopedia

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.

[edit] See also

• Formal methods
• List of ISO standards
• CADP

[edit] References

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

[edit] External links

• World-wide Environment for Learning LOTOS (WELL)
• Tutorials for LOTOS (see section 2)
• LOTOS in the RKBExplorer

This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.