{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T22:27:49Z","timestamp":1693866469901},"reference-count":29,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1992,2,1]],"date-time":"1992-02-01T00:00:00Z","timestamp":696902400000},"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 Networks and ISDN Systems"],"published-print":{"date-parts":[[1992,2]]},"DOI":"10.1016\/0169-7552(92)90011-e","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T15:09:00Z","timestamp":1062601740000},"page":"325-342","source":"Crossref","is-referenced-by-count":52,"title":["An introduction to LOTOS: learning by examples"],"prefix":"10.1016","volume":"23","author":[{"given":"L","family":"Logrippo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M","family":"Faci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M","family":"Haj-Hussein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-7552(92)90011-E_BIB1","series-title":"Proc. IFIP TC6 2nd International Workshop","first-page":"272","article-title":"Test result analysis in respect to formal specifications","author":"Bochmann","year":"1990"},{"key":"10.1016\/0169-7552(92)90011-E_BIB2","series-title":"Proc. IFIP TC6 3rd International Symposium","article-title":"Test result analysis and validation of test verdicts","author":"Bochmann","year":"1991"},{"key":"10.1016\/0169-7552(92)90011-E_BIB3_1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO specification language LOTOS","volume":"14","author":"Bolognesi","year":"1987","journal-title":"Comput. Networks ISDN Systems"},{"key":"10.1016\/0169-7552(92)90011-E_BIB3_2","series-title":"The Formal Description Technique LOTOS","year":"1989"},{"key":"10.1016\/0169-7552(92)90011-E_BIB4","series-title":"The Formal Description Technique LOTOS","first-page":"303","article-title":"Equivalence verification: theory, algorithms and a tool","author":"Bolognesi","year":"1989"},{"key":"10.1016\/0169-7552(92)90011-E_BIB5","series-title":"Fundamentals of Algebraic Specification 1","author":"Ehrig","year":"1985"},{"issue":"1","key":"10.1016\/0169-7552(92)90011-E_BIB6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0169-7552(91)90073-L","article-title":"Formal specification of telephone systems in LOTOS: the constraint-oriented style approach","volume":"21","author":"Faci","year":"1991","journal-title":"Comput. Networks ISDN Systems"},{"key":"10.1016\/0169-7552(92)90011-E_BIB7","series-title":"Proc. IFIP WG6.1 10th International Symposium","first-page":"379","article-title":"Compilation and verification of LOTOS specifications","author":"Garavel","year":"1990"},{"key":"10.1016\/0169-7552(92)90011-E_BIB8","series-title":"Computer Networks '91","article-title":"Specifying distributed algorithms in LOTOS","author":"Haj-Hussein","year":"1991"},{"key":"10.1016\/0169-7552(92)90011-E_BIB9","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/0169-7552(92)90011-E_BIB10","series-title":"Estelle, LOTOS und SDL","author":"Hogrefe","year":"1989"},{"key":"10.1016\/0169-7552(92)90011-E_BIB11","series-title":"IS 8807: LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behavior","author":"International Organisation for Standardization","year":"1989"},{"key":"10.1016\/0169-7552(92)90011-E_BIB12","series-title":"IS 9074: Estelle, A Formal Description Technique Based on an Extended State Transition Model","author":"International Organisation for Standardization","year":"1989"},{"key":"10.1016\/0169-7552(92)90011-E_BIB13","series-title":"ISO\/IEC JTC1\/SC6 N6116: revised text of ISO\/DTR 10023 - Formal Description of ISO 8072 in LOTOS","author":"International Organisation for Standardization","year":"1990"},{"key":"10.1016\/0169-7552(92)90011-E_BIB14","series-title":"ISO\/IEC JTC1\/SC21 N3252: Guidelines for the Application of Estelle, LOTOS and SDL","author":"International Organisation for Standardisation","year":"1989"},{"key":"10.1016\/0169-7552(92)90011-E_BIB15","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1002\/spe.4380180406","article-title":"An interpreter for LOTOS, a specification language for distributed systems","volume":"18","author":"Logrippo","year":"1988","journal-title":"Software-Practice and Experience"},{"key":"10.1016\/0169-7552(92)90011-E_BIB16","series-title":"Proc. 1st International Conference FORTE 88","first-page":"79","article-title":"From LOTOS to C","author":"Ma\u00f1as","year":"1989"},{"key":"10.1016\/0169-7552(92)90011-E_BIB17","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0169-7552(92)90013-G","article-title":"Introduction to algebraic specifications based on the language ACT ONE","volume":"23","author":"de Meer","year":"1992","journal-title":"Computer Networks ISDN Systems"},{"key":"10.1016\/0169-7552(92)90011-E_BIB18","article-title":"A calculus of communicating systems","volume":"92","author":"Milner","year":"1980"},{"key":"10.1016\/0169-7552(92)90011-E_BIB19","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/0169-7552(92)90011-E_BIB20","article-title":"An overview of the LOTOS specification of chorus V3","author":"Pecheur","year":"1989"},{"key":"10.1016\/0169-7552(92)90011-E_BIB21","series-title":"Proc. 1st International Conference FORTE 88","first-page":"45","article-title":"Transforming LOTOS specifications with LOLA","author":"Quemada","year":"1989"},{"key":"10.1016\/0169-7552(92)90011-E_BIB22","series-title":"Proc. British Computer Society Workshop on Formal Methods in Standards","article-title":"Contraint-oriented style in LOTOS","author":"Turner","year":"1988"},{"key":"10.1016\/0169-7552(92)90011-E_BIB23","article-title":"The formal description specification language LOTOS: a course for users","author":"Turner","year":"1988"},{"key":"10.1016\/0169-7552(92)90011-E_BIB24","article-title":"Software tools for the specification language LOTOS","author":"van Eijk","year":"1988"},{"key":"10.1016\/0169-7552(92)90011-E_BIB25","series-title":"The Formal Description Technique LOTOS","year":"1989"},{"key":"10.1016\/0169-7552(92)90011-E_BIB26","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0920-5489(89)90022-6","article-title":"Use of a formal description technique in the specification of authentication protocols","volume":"9","author":"Varadharajan","year":"1989","journal-title":"Comput. Standards Interfaces"},{"key":"10.1016\/0169-7552(92)90011-E_BIB27","series-title":"The Formal Description Technique LOTOS","first-page":"15","article-title":"LOTOS background","author":"Vissers","year":"1989"},{"issue":"1","key":"10.1016\/0169-7552(92)90011-E_BIB28","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0304-3975(90)90111-T","article-title":"On the use of specification styles in the design of distributed systems","volume":"89","author":"Vissers","year":"1990","journal-title":"Theoret. Comput. Sci."}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016975529290011E?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016975529290011E?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T12:54:26Z","timestamp":1551099266000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016975529290011E"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,2]]},"references-count":29,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1992,2]]}},"alternative-id":["016975529290011E"],"URL":"https:\/\/doi.org\/10.1016\/0169-7552(92)90011-e","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1992,2]]}}}