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.
ee also
* Formal methods
* List of ISO standards
References
* "The Formal Description Technique LOTOS", P.H.J. van Eijk "et al.", editors, N-H, 1989.
External links
* [http://www.cs.stir.ac.uk/~kjt/research/well/ World-wide Environment for Learning LOTOS (WELL)]
* [http://www.inrialpes.fr/vasy/cadp/tutorial/ Tutorials for LOTOS (see section 2)]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Language of Temporal Ordering Specification — Language of Temporal Ordering Specification, kurz LOTOS, ist eine formale Beschreibungstechnik, welche im ISO Standard ISO 8807 definiert ist. LOTOS ist ein Vertreter der algebraischen Beschreibungstechniken und basiert auf dem CCS Kalkül von… … Deutsch Wikipedia
LOTOS — Language of Temporal Ordering Specification … Acronyms
LOTOS — Language of Temporal Ordering Specification … Acronyms von A bis Z
List of ISO standards — This is a list of ISO standards that are discussed in Wikipedia articles. For a list of all the more than 16,000 ISO standards (as of 2007), see the [http://www.iso.org/iso/en/CatalogueListPage.CatalogueList ISO Catalogue] .About 300 of the… … Wikipedia
Construction and Analysis of Distributed Processes — Developer(s) the INRIA VASY team Initial release 1986, 24–25 years ago Stable release … Wikipedia
Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or … Wikipedia
Исчисление взаимодействующих систем — (англ. Calculus of Communicating Systems, CCS, исчисление общающихся систем) в информатике исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя… … Википедия
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия
Calculus of communicating systems — The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner in around 1980. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing… … Wikipedia
Robin Milner — Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in Yealmpton bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Turingpreisträger. Inhaltsverzeichnis 1 Biographie 2 Auszeichnungen (Auswahl) … Deutsch Wikipedia
