{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T05:18:54Z","timestamp":1648876734487},"reference-count":20,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Communications"],"published-print":{"date-parts":[[1992,3]]},"DOI":"10.1016\/0140-3664(92)90129-3","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T18:34:07Z","timestamp":1060281247000},"page":"93-102","source":"Crossref","is-referenced-by-count":5,"title":["Using LOTOS for specifying the chorus distributed operating system kernel"],"prefix":"10.1016","volume":"15","author":[{"given":"Charles","family":"Pecheur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0140-3664(92)90129-3_BIB1","series-title":"Information Processing Systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO\/TC 97\/SC 21 IS 8807, 150","year":"1989"},{"issue":"No 14","key":"10.1016\/0140-3664(92)90129-3_BIB2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO specification language LOTOS","author":"Bolognesi","year":"1987","journal-title":"Comput. Networks & ISDN Syst."},{"key":"10.1016\/0140-3664(92)90129-3_BIB3","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/0140-3664(92)90129-3_BIB4","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/0140-3664(92)90129-3_BIB5","article-title":"Fundamentals of Algebraic Specification 1","volume":"Vol. 6","author":"Ehrig","year":"1985"},{"key":"10.1016\/0140-3664(92)90129-3_BIB6","series-title":"Int. Symp. on Local Comput. Networks","first-page":"207","article-title":"The chorus distributed operating system: design and implementation","author":"Guillemont","year":"1982"},{"key":"10.1016\/0140-3664(92)90129-3_BIB7","series-title":"Distributed Computing Systems","first-page":"251","article-title":"Architecture of the chorus distributed system","author":"Banino","year":"1983"},{"key":"10.1016\/0140-3664(92)90129-3_BIB8","article-title":"Overview of the chorus distributed operating system","author":"Rozier","year":"1989"},{"key":"10.1016\/0140-3664(92)90129-3_BIB9","series-title":"An overview of the LOTOS specification of chorus V3, SART 89\/03\/13","author":"Pecheur","year":"1989"},{"key":"10.1016\/0140-3664(92)90129-3_BIB10","series-title":"LOTOS specification of chorus V3, SART 89\/04\/13","author":"Pecheur","year":"1989"},{"key":"10.1016\/0140-3664(92)90129-3_BIB11","series-title":"An overview of the LOTOS specification of chorus V2, SART 88\/20\/13","author":"Leduc","year":"1988"},{"key":"10.1016\/0140-3664(92)90129-3_BIB12","series-title":"Modeling of the Transport Station of chorus V2, SART 88\/20\/13","author":"Pecheur","year":"1988"},{"key":"10.1016\/0140-3664(92)90129-3_BIB13","series-title":"7th Symp. on Protocol Specification, Testing & Implementation","article-title":"An architectural semantics for LOTOS","author":"Turner","year":"1987"},{"key":"10.1016\/0140-3664(92)90129-3_BIB14","series-title":"Architecture and Specification Style in Formal Descriptions of Distributed Systems, Protocol Specification, Testing & Verification VIII","article-title":"On the use of specification styles in the design of distributed systems","author":"Vissers","year":"1988"},{"key":"10.1016\/0140-3664(92)90129-3_BIB15","series-title":"The Formal Description Technique LOTOS: results of the ESPRIT\/SEDOS project","first-page":"97","article-title":"Formal description of the OSI session layer: the transport service","author":"Scollo","year":"1989"},{"key":"10.1016\/0140-3664(92)90129-3_BIB16","series-title":"The Formal Description Technique LOTOS: results of the ESPRIT\/SEDOS project","first-page":"89","article-title":"Formal description of the OSI session layer: introduction","author":"Ajubi","year":"1989"},{"key":"10.1016\/0140-3664(92)90129-3_BIB17","series-title":"6th Symp. on Protocol Specification, Testing & Implementation","article-title":"On the architectural design of the formal specification of the session standards in LOTOS","author":"Scollo","year":"1986"},{"key":"10.1016\/0140-3664(92)90129-3_BIB18","series-title":"Information Processing Systems \u2014 Open Systems Interconnection \u2014 Basic Reference Model, ISO IS 7498","year":"1984"},{"key":"10.1016\/0140-3664(92)90129-3_BIB19","article-title":"On the design of Extended LOTOS","author":"Brinksma","year":"1988"},{"key":"10.1016\/0140-3664(92)90129-3_BIB20","series-title":"Some Facilities for Concise Data Types in LOTOS, Esprit P410 SEDOS\/C1\/WP\/13\/T","author":"Scollo","year":"1986"}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0140366492901293?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0140366492901293?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:51:48Z","timestamp":1552625508000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0140366492901293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["0140366492901293"],"URL":"https:\/\/doi.org\/10.1016\/0140-3664(92)90129-3","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}