 | This article includes alist of references,related reading, orexternal links,but its sources remain unclear because it lacksinline citations. Please helpimprove this article byintroducing more precise citations.(April 2024) (Learn how and when to remove this message) |
In computer scienceLanguage of Temporal Ordering Specification (LOTOS) is aformalspecification language based on temporal ordering of events. LOTOS is used forcommunications protocol specification inInternational Organization for Standardization (ISO)Open Systems Interconnection model (OSI) standards.
LOTOS is an algebraic language that consists of two parts: a part for the description of data and operations, based onabstract data types, and a part for the description of concurrent processes, based onprocess calculus.
Work on the standard was completed in 1988, and it was published as ISO 8807 in 1989. Between 1993 and 2001, an ISO committee worked to define a revised version of the LOTOS standard, which was published in 2001 asE-LOTOS.
| General | |
|---|---|
| Process calculi | |
| Classic problems | |
 | Thisprogramming-language-related article is astub. You can help Wikipedia byexpanding it. |
