Jump to content

Language of Temporal Ordering Specification

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Jpbowen (talk | contribs) at 17:59, 30 August 2005 (→References). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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

References

  • "The Formal Description Technique LOTOS", P.H.J. van Eijk et al eds, N-H 1989
Stub icon

This computing article is a stub. You can help Wikipedia by expanding it.

Stub icon

This software article is a stub. You can help Wikipedia by expanding it.

This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Language_of_Temporal_Ordering_Specification&oldid=22189287"