World Library  
Flag as Inappropriate
Email this Article

Language Of Temporal Ordering Specification

Article Id: WHEBN0001117722
Reproduction Date:

Title: Language Of Temporal Ordering Specification  
Author: World Heritage Encyclopedia
Language: English
Subject: ISO 3166, Concurrency (computer science), Specification language, ISO 39001, ISO 8000
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Language Of Temporal Ordering Specification

Language Of Temporal Ordering Specification (LOTOS) is a ISO OSI standards.

LOTOS is an algebraic language that consists of two parts: a part for the description of data and operations, based on abstract data types, and a part for the description of concurrent processes, based on process calculus.

Work on the standard was completed in 1989, and it was published as ISO 8807 in 1990. Between 1993 and 2001, an ISO committee worked to define a revised version of the LOTOS standard, which was published in 2001 as E-LOTOS.

See also

References

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

External links

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

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.

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.