{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:46:24Z","timestamp":1762458384146},"reference-count":42,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1993,2,1]],"date-time":"1993-02-01T00:00:00Z","timestamp":728524800000},"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":[[1993,2]]},"DOI":"10.1016\/0169-7552(93)90052-6","type":"journal-article","created":{"date-parts":[[2003,11,18]],"date-time":"2003-11-18T06:27:07Z","timestamp":1069136827000},"page":"853-874","source":"Crossref","is-referenced-by-count":4,"title":["LOEWE: A LOTOS engineering workbench"],"prefix":"10.1016","volume":"25","author":[{"given":"G\u00fcnter","family":"Karjoth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl","family":"Binding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Gustafsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-7552(93)90052-6_BIB1","article-title":"An Ada run-time system interface","author":"Baker","year":"1985"},{"key":"10.1016\/0169-7552(93)90052-6_BIB2","series-title":"Proc. 7th ICALP","first-page":"76","article-title":"A characterization of computable data types by means of a finite equational specification method","author":"Bergstra","year":"1980"},{"issue":"9","key":"10.1016\/0169-7552(93)90052-6_BIB3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/988364.988367","article-title":"Cheap concurrency for C","volume":"20","author":"Binding","year":"1985","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/0169-7552(93)90052-6_BIB4","article-title":"Executing LOTOS behaviour-expressions","author":"Binding","year":"1991"},{"key":"10.1016\/0169-7552(93)90052-6_BIB5_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(93)90052-6_BIB5_2","series-title":"The Formal Description Technique LOTOS","year":"1989"},{"key":"10.1016\/0169-7552(93)90052-6_BIB6","article-title":"Process calculi, from theory to practice: verification tools","author":"Boudol","year":"1989"},{"issue":"2","key":"10.1016\/0169-7552(93)90052-6_BIB7","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","article-title":"Automatic verification of finite state concurrent systems using temporal logic specifications","volume":"8","author":"Clarke","year":"1986","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/0169-7552(93)90052-6_BIB8","series-title":"Proc. IFIP WG6.1 9th International Symposium","first-page":"287","article-title":"A semantics-based verification tool for finite-state systems","volume":"IX","author":"Cleaveland","year":"1990"},{"key":"10.1016\/0169-7552(93)90052-6_BIB9","series-title":"C threads","author":"Cooper","year":"1987"},{"key":"10.1016\/0169-7552(93)90052-6_BIB10","series-title":"Proc. 4th SDL Forum","year":"1989"},{"key":"10.1016\/0169-7552(93)90052-6_BIB11","series-title":"CONCUR'91","first-page":"23","article-title":"A tool set for deciding behavioral equivalences","volume":"Vol. 527","author":"Fernandez","year":"1991"},{"key":"10.1016\/0169-7552(93)90052-6_BIB12","series-title":"Proc. IFIP TC6 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 89","first-page":"147","article-title":"Compilation of LOTOS abstract data types","volume":"II","author":"Garavel","year":"1990"},{"key":"10.1016\/0169-7552(93)90052-6_BIB13","series-title":"Proc. IFIP WG6.1 10th International Symposium","first-page":"359","article-title":"Compilation and verification of LOTOS specifications","volume":"X","author":"Garavel","year":"1990"},{"key":"10.1016\/0169-7552(93)90052-6_BIB14","doi-asserted-by":"crossref","first-page":"787","DOI":"10.1109\/32.6158","article-title":"Integrated environments for formally well-founded design and simulation of concurrent systems","volume":"14","author":"Giacalone","year":"1988","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0169-7552(93)90052-6_BIB15","series-title":"Proc. 17th ICALP","first-page":"626","article-title":"An efficient algorithm for branching bisimulation and stuttering equivalence","volume":"Vol. 443","author":"Groote","year":"1990"},{"key":"10.1016\/0169-7552(93)90052-6_BIB16","article-title":"Design and Validation of Computer Protocols","author":"Holzmann","year":"1989"},{"key":"10.1016\/0169-7552(93)90052-6_BIB17","article-title":"Fundamentals of Computer Algorithms","author":"Horowitz","year":"1978"},{"key":"10.1016\/0169-7552(93)90052-6_BIB18","first-page":"158","article-title":"Evaluation of tools for the analysis of communicating systems","volume":"45","author":"Inveradi","year":"1991","journal-title":"Bull. EATCS"},{"key":"10.1016\/0169-7552(93)90052-6_BIB19","article-title":"Information Processing Systems\u2014Open Systems Interconnection","author":"ISO IS 8807","year":"1989","journal-title":"LOTOS\u2014A formal Description Technique Based on the Temporal Ordering of Observational Behaviour"},{"key":"10.1016\/0169-7552(93)90052-6_BIB20","article-title":"Information Processing Systems\u2014Open Systems Interconnection","author":"ISO 10167","year":"1991","journal-title":"Guidelines for the Application of Estelle, LOTOS and SDL, Technical Report"},{"key":"10.1016\/0169-7552(93)90052-6_BIB21","series-title":"Proc. International Workshop on Automatic Verification Methods for Finite State Systems","first-page":"179","article-title":"Implementing a model checking algorithm by adapting existing automated tools","volume":"Vol. 407","author":"Jonsson","year":"1990"},{"key":"10.1016\/0169-7552(93)90052-6_BIB22","article-title":"Prozessalgebra und temporale Logik\u2014angewandt zur Zpezifikation und Analyse von komplexen Prootkollen","author":"Karjoth","year":"1987"},{"key":"10.1016\/0169-7552(93)90052-6_BIB23","series-title":"Proc. IFIP WG6.1 8th International Symposium","first-page":"47","article-title":"Implementing process algebra specifications by state machines","volume":"VIII","author":"Karjoth","year":"1988"},{"key":"10.1016\/0169-7552(93)90052-6_BIB24","series-title":"1988 International Zurich Seminar on Digital Communications","first-page":"D1.1","article-title":"Stepwise specification of a sliding-window protocol by means of process algebra","author":"Karjoth","year":"1988"},{"key":"10.1016\/0169-7552(93)90052-6_BIB25","article-title":"XFSM: a formal model of communicating state machines for implementation specifications","author":"Karjoth","year":"1991"},{"key":"10.1016\/0169-7552(93)90052-6_BIB26","series-title":"Proc. 3rd Workshop on Computer Aided Verification","first-page":"13","article-title":"Computing distinguishing formulas for branching bisimulation","volume":"Vol. 575","author":"Korver","year":"1992"},{"issue":"4","key":"10.1016\/0169-7552(93)90052-6_BIB27","doi-asserted-by":"crossref","first-page":"365","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(93)90052-6_BIB28","series-title":"Proc. 1st International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 88","first-page":"79","article-title":"From LOTOS to C","author":"Ma\u00f1as","year":"1989"},{"key":"10.1016\/0169-7552(93)90052-6_BIB29","series-title":"Proc. IFIP WG6.1 10th International Symposium","first-page":"165","article-title":"A LOTOS compiler and process synchronization manager","volume":"X","author":"Nomura","year":"1990"},{"key":"10.1016\/0169-7552(93)90052-6_BIB30","series-title":"Proc. 11th International Conference on Software Engineering","first-page":"123","article-title":"Tools to support formal methods","author":"Patel","year":"1989"},{"key":"10.1016\/0169-7552(93)90052-6_BIB31","series-title":"Proc. IFIP TC6 3rd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 90","volume":"III","year":"1991"},{"key":"10.1016\/0169-7552(93)90052-6_BIB32","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0167-6423(88)90002-0","article-title":"Refined compilation of pattern-matching for functional languages","volume":"11","author":"Schnoebelen","year":"1988","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/0169-7552(93)90052-6_BIB33","unstructured":"G. Scollo, Formal description of 8072 in LOTOS, Technical Report, August 1990, ISO\/IEC JTC1\/SC6: revised text of ISO\/IEC DTR 10023."},{"key":"10.1016\/0169-7552(93)90052-6_BIB34","article-title":"Lightweight Process Library","author":"SUN Microsystems In., Mountain View, CA","year":"1987","journal-title":"SUN OS Release 4.0 Manual"},{"key":"10.1016\/0169-7552(93)90052-6_BIB35","series-title":"Computer Networks","author":"Tanenbaum","year":"1989"},{"key":"10.1016\/0169-7552(93)90052-6_BIB36","series-title":"Proc. IFIP TC6 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 89","first-page":"117","article-title":"A LOTOS-based development strategy","volume":"II","author":"Turner","year":"1990"},{"issue":"5","key":"10.1016\/0169-7552(93)90052-6_BIB37","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0169-7552(90)90121-8","article-title":"Specification of a simplified transport protocol using different formal description techniques","volume":"18","author":"Bochmann","year":"1990","journal-title":"Comput. Networks ISDN Systems"},{"key":"10.1016\/0169-7552(93)90052-6_BIB38","series-title":"The Formal Description Technique LOTOS","first-page":"351","article-title":"The design of a simulator tool","author":"van Eijk","year":"1989"},{"key":"10.1016\/0169-7552(93)90052-6_BIB39","series-title":"Proc. IFIP TC6 3rd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols\u2014FORTE 90","first-page":"577","article-title":"Design of the LOTOSPHERE symbolic LOTOS simulator","volume":"III","author":"van Eijk","year":"1991"},{"key":"10.1016\/0169-7552(93)90052-6_BIB40","series-title":"The Formal Description Technique LOTOS","year":"1989"},{"key":"10.1016\/0169-7552(93)90052-6_BIB41","series-title":"Proc. 12th ACM Symposium on Operating Systems Principles","first-page":"114","article-title":"The portable common runtime approach to interoperability","author":"Weiser","year":"1989"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755293900526?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755293900526?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:20:53Z","timestamp":1550348453000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169755293900526"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,2]]},"references-count":42,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1993,2]]}},"alternative-id":["0169755293900526"],"URL":"https:\/\/doi.org\/10.1016\/0169-7552(93)90052-6","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1993,2]]}}}