Language Of Temporal Ordering Specification
Also found in: Wikipedia.
Language Of Temporal Ordering Specification
(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].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Copyright © 2003-2025 Farlex, Inc
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.