Language of Temporal Ordering Specification

In computer science Language of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering of events. LOTOS is used for communications protocol specification in International 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 on abstract data types, and a part for the description of concurrent processes, based on process 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 as E-LOTOS.

See also

References

  • ISO/IEC international standard 8807:1989. Information Processing Systems - Open Systems Interconnection - LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. Geneva, September 1989.
  • The Formal Description Technique LOTOS, P.H.J. van Eijk et al., editors, North-Holland, 1989.
  • LOTOSphere: Software Development with LOTOS, Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris Vissers, editors, Kluwer Academic Publishers, 1995.
  • Hubert Garavel, Frédéric Lang, and Wendelin Serwe, From LOTOS to LNT. In Joost-Pieter Katoen, Rom Langerak, and Arend Rensink, editors, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500 of Lecture Notes in Computer Science, pages 3–26, Springer International Publishing, October 2017, doi 10.1007/978-3-319-68270-9_1.


Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Read other articles:

Andreas Hinkel

Andreas Hinkel Hinkel bermain untuk Celtic pada 2009.Informasi pribadiNama lengkap Andreas HinkelTanggal lahir 26 Maret 1982 (umur 41)Tempat lahir Backnang, Jerman BaratTinggi 1,83 m (6 ft 0 in)Posisi bermain Bek kananKarier junior1987–1992 TSV Leutenbach1992–1999 VfB StuttgartKarier senior*Tahun Tim Tampil (Gol)1999–2001 VfB Stuttgart II 31 (0)2000–2006 VfB Stuttgart 156 (1)2006–2008 Sevilla 15 (0)2008–2011 Celtic 79 (1)2011–2012 SC Freiburg 7 (0)Total 282 ...

 

Cibanggala, Campakamulya, Cianjur

Sumber referensi dari artikel ini belum dipastikan dan mungkin isinya tidak benar. Mohon periksa, kembangkan artikel ini, dan tambahkan sumber yang benar pada bagian yang diperlukan. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini) CibanggalaDesaNegara IndonesiaProvinsiJawa BaratKabupatenCianjurKecamatanCampakamulyaKode Kemendagri32.03.25.2001 Luas821 HaJumlah penduduk4925Kepadatan2.788 Cibanggala adalah desa di kecamatan Campaka Mulya, Cianjur, Jawa Barat, Indonesia. ...

 

Massachusetts's 13th congressional district

Former U.S. House district from 1795 to 1963 MA-13 redirects here. The term may also refer to Massachusetts Route 13. Massachusetts's 13th congressional districtObsolete districtCreated17951890Eliminated18301960Years active1795–18331893–1963 Massachusetts's current districts, since 2013 Massachusetts's 13th congressional district is an obsolete district that was first active 1793–1803 in the District of Maine, then active 1803–1833 and 1893–1963 in Eastern Massachusetts. It was most...

Ordre de succession théorique au trône de Monaco

Pour les articles homonymes, voir Trône (homonymie). Honoré II de Monaco (1597-1662), premier « prince et seigneur » de Monaco. L'ordre de succession au trône de Monaco est l'ordre dans lequel sont appelés au trône de la principauté de Monaco les membres éligibles des branches subsistantes de la famille princière de Monaco — toutes issues d'Honoré II, héritier des seigneurs de Monaco, qui prit, le premier, à partir de 1612, le titre de « prince et seigneur ...

 

Sodium compounds

Chemical elements containing sodium Sodium atoms have 11 electrons, one more than the stable configuration of the noble gas neon. As a result, sodium usually forms ionic compounds involving the Na+ cation.[1] Sodium is a reactive alkali metal and is much more stable in ionic compounds. It can also form intermetallic compounds and organosodium compounds. Sodium compounds are often soluble in water. Metallic sodium Metallic sodium is generally less reactive than potassium and more react...

 

Fandom (website)

Wiki hosting service and domain Wikia redirects here. Not to be confused with Wiki. Fandom, Inc.Logo since August 2021Type of businessPrivateType of siteWiki hosting serviceAvailable inMultilingualFoundedOctober 18, 2004; 19 years ago (2004-10-18)HeadquartersSan Francisco, California, U.S.OwnerTPG Inc. (2018–present)[1]Founder(s)Jimmy WalesAngela Beesley StarlingKey peoplePerkins Miller (CEO)Jimmy Wales (president)Brandon Rhea (VP of Community)Products Wi...

Duke of Sutherland

Title in the peerage of the United Kingdom Dukedom of Sutherland Arms of Egerton, Dukes of Sutherland: Argent, a lion rampant gules between three pheons sableCreation date14 January 1833Created byKing William IVPeeragePeerage of the United KingdomFirst holderGeorge Leveson-Gower, 2nd Marquess of StaffordPresent holderFrancis Egerton, 7th Duke of SutherlandHeir apparentJames Granville Egerton, Marquess of StaffordRemainder tothe 1st Duke's heirs male of the body lawfully begottenSubsidiary tit...

 

Kudoa thyrsites

Species of marine parasite Kudoa thyrsites Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Cnidaria Class: Myxosporea Order: Multivalvulida Family: Kudoidae Genus: Kudoa Species: K. thyrsites Binomial name Kudoa thyrsites(Gilchrist, 1924) Kudoa thyrsites is a myxosporean parasite of marine fishes. It has a worldwide distribution, and infects a wide range of host species. This parasite is responsible for causing economic losses to the fisheries sector, by causing pos...

 

Vijay Mallya

Indian businessman and politician Vijay MallyaMallya in 2008Member of Parliament, Rajya SabhaIn office1 July 2010 – 2 May 2016[1]In office10 April 2002 – 9 April 2008ConstituencyKarnataka Personal detailsBornVijay Vittal Mallya (1955-12-18) 18 December 1955 (age 68)[2]Mangaluru, Karnataka, IndiaPolitical partyIndependentSpouses Sameera Tyabjee Mallya ​ ​(m. 1986; div. 1987)​ Rekha Mallya ​...

约翰斯顿环礁

此條目可参照英語維基百科相應條目来扩充。 (2021年5月6日)若您熟悉来源语言和主题，请协助参考外语维基百科扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记{{Translated page}}标签。 约翰斯顿环礁Kalama Atoll 美國本土外小島嶼 Johnston Atoll 旗幟颂歌：《星條旗》The Star-Spangled Banner約翰斯頓環礁�...

 

Brahmaputra Valley

Region of India Brahmaputra ValleyAssam ValleyValley of the Brahmaputra River in Assam, India. Map of Brahmaputra Valley districts.Length600 km (373 mi) North-EastWidth80 km (50 mi)GeographyLocationAssam, IndiaCoordinates26°35′54″N 92°27′02″E / 26.5983°N 92.4506°E / 26.5983; 92.4506 [1] The Brahmaputra Valley (also Assam Valley) is a region situated between hill ranges of the eastern and northeastern Himalayan range in ...

 

Jaguar XJS

Jaguar XJ-SInformasiProdusenJaguar CarsMasa produksi1975–1996PerakitanCoventry, InggrisBodi & rangkaKelasGrand tourerTata letakFR layoutKronologiPendahuluJaguar E-TypePenerusJaguar XK8 Jaguar XJ-S (atau Jaguar XJS) adalah grand tourer mewah yang diproduksi oleh produsen Inggris Jaguar tahun 1975 sampai 1996. XJ-S menggantikan E-Type (atau XK-E) bulan September 1975, dan basisnya diambil dari Jaguar XJ. XJS terakhir diproduksi tanggal 4 April 1996 dan terjual sebanyak 115.413 unit. Model...

بن رجكون (أولاد ادليم اجبيل)

بن رجكون تقسيم إداري البلد المغرب  الجهة مراكش آسفي الإقليم مراكش الدائرة البور الجماعة القروية أولاد دليم المشيخة أولاد ادليم اجبيل السكان التعداد السكاني 40 نسمة (إحصاء 2004)   • عدد الأسر 7 معلومات أخرى التوقيت ت ع م±00:00 (توقيت قياسي)[1]،  وت ع م+01:00 (توقيت صيفي)[1&...

 

NGC 4198

NGC 4198   الكوكبة الدب الأكبر[1]  رمز الفهرس NGC 4198 (الفهرس العام الجديد)MCG+09-20-123 (فهرس المجرات الموروفولوجي)PGC 39090 (فهرس المجرات الرئيسية)2MASX J12142200+5600410 (Two Micron All-Sky Survey, Extended source catalogue)UGC 7246 (فهرس أوبسالا العام)SDSS J121422.05+560041.1 (مسح سلون الرقمي للسماء)UZC J121422.1+560041 (فهرس زفيكي المحد...

 

Braun (company)

This article may require copy editing for grammar, style, cohesion, tone, or spelling. You can assist by editing it. (May 2024) (Learn how and when to remove this message) German consumer products company Braun GmbHCompany typeSubsidiaryIndustryManufacturingFounded1921; 103 years ago (1921) (as Braun AG) in Frankfurt, GermanyFounderMax BraunHeadquartersKronberg im Taunus, GermanyArea servedWorldwideKey peopleAlessandra Dolfini, Global Braun & Venus Vice President Oliver ...

Seat belt use rates in the United States

U.S. MUTCD seat belt symbol Seat belt use rates in the United States have been rising steadily since 1983, from 14% to 90% in 2016. Seat belt use in the country in 2016 ranged from a minimum of 70.2% in New Hampshire to a maximum of 96.9% in Georgia. 19 states had use rates above 90%.[1] According to the National Highway Traffic Safety Administration's (NHTSA) 2008 survey, seat belt use remained lower among 16- to 24-year-olds than other age groups, with a rate of 77%, and also was lo...

 

Proxima Centauri

Nearest star to the Solar System This article is about the star. For other uses, see Proxima Centauri (disambiguation). Proxima Centauri False color Hubble Space Telescope WFPC2 image taken in 2013. The bright lines are diffraction spikes. Observation dataEpoch J2000.0      Equinox J2000.0 (ICRS) Constellation Centaurus Pronunciation /ˌprɒksəmə sɛnˈtɔːri/ or/ˈprɒksɪmə sɛnˈtɔːraɪ/[1] Right ascension 14h 29m 42.946s[2] Declination �...

 

كروم كاست

كروم كاستالشعارمعلومات عامةالصانع جوجل المطور جوجلموقع الويب chromecast.com (الإنجليزية) الخصائصنظام التشغيل كروم أو إس الإصداراتNexus Q (en) تعديل - تعديل مصدري - تعديل ويكي بيانات كروم كاست (بالإنجليزية: Chromecast)‏ هو مشغل للوسائط الرقمية طورته شركة جوجل. تم تصميم الجهاز على شكل دونجل ...

1841 في المملكة المتحدة

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (ديسمبر 2018) 1841 في المملكة المتحدةمعلومات عامةالسنة 1841 1840 في المملكة المتحدة 1842 في المملكة المتحدة تعديل - تعديل مصدر�...

 

بوليفيا في كأس العالم 1994

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (ديسمبر 2018) بوليفيا كأس العالم 1994 الاتحاد المشرف اتحاد بوليفيا لكرة القدم البلد المضيف  الولايات المتحدة المدرب خ...