{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:45Z","timestamp":1725454005527},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000491","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T06:30:36Z","timestamp":1128493836000},"page":"479-493","source":"Crossref","is-referenced-by-count":5,"title":["Symbolic bisimulation for Full LOTOS"],"prefix":"10.1007","author":[{"given":"Carron","family":"Shankland","sequence":"first","affiliation":[]},{"given":"Muffy","family":"Thomas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"33_CR1","first-page":"23","volume-title":"The Formal Description Technique LOTOS","author":"T. Bolognesi","year":"1989","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In P.H.J. van Eijk, C.A. Vissers, and M. Diaz, editors, The Formal Description Technique LOTOS, pages 23\u201376. Elsevier Science Publishers B.V. (North-Holland), 1989."},{"key":"33_CR2","unstructured":"T. Bolognesi, editor. Catalogue of LOTOS Correctness Preserving Transformations. Technical Report Lo\/WPl\/Tl.2\/N0045, The LOTOSPHERE Esprit Project, 1992. Task 1.2 deliverable. LOTOSPHERE information disseminated by J. Lagemaat, email lagemaat@cs.utwente.nl."},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"E. Brinksma. From Data Structure to Process Structure. In K.G. Larsen and A. Skou, editors, Proceedings of CAV 91, LNCS 575, pages 244\u2013254, 1992.","DOI":"10.1007\/3-540-55179-4_24"},{"key":"33_CR4","unstructured":"H. Eertink. Simulation Techniques for the Validation of LOTOS Specifications. PhD thesis, University of Twente, 1994."},{"key":"33_CR5","first-page":"15","volume-title":"Protocol Specification, Testing, and Verification, VI","author":"R. Gotzhein","year":"1987","unstructured":"R. Gotzhein. Specifying Abstract Data Types with LOTOS. In B. Sarikaya and G.V. Bochmann, editors, Protocol Specification, Testing, and Verification, VI, pages 15\u201326. Elsevier Science Publishers B.V. (North-Holland), 1987."},{"key":"33_CR6","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M. Hennessy","year":"1995","unstructured":"M. Hennessy and H. Lin. Symbolic Bisimulations. Theoretical Computer Science, 138:353\u2013389, 1995.","journal-title":"Theoretical Computer Science"},{"key":"33_CR7","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF01178384","volume":"32","author":"M. Hennessy","year":"1995","unstructured":"M. Hennessy and X. Liu. A Modal Logic for Message Passing Processes. Acta Informatica, 32:375\u2013393, 1995.","journal-title":"Acta Informatica"},{"issue":"1","key":"33_CR8","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner. Algebraic Laws for Nondeterminism and Concurrency. Journal of the Association for Computing Machinery, 32(1):137\u2013161, 1985.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"33_CR9","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985."},{"key":"33_CR10","unstructured":"International Organisation for Standardisation. Information Processing Systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1988."},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"C. Kirkwood and M. Thomas. Experiences with LOTOS Verification: A Report on Two Case Studies. In Workshop on Industrial-Strength Formal Specification Techniques, pages 159\u2013171. IEEE Computer Society Press, 1995.","DOI":"10.1109\/WIFT.1995.515487"},{"key":"33_CR12","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall International, 1989."},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"M. Thomas and T. Ormsby. On the Design of Side-Stick Controllers in Fly-by-Wire Aircraft. In Applied Computing Review, Special Issue: Safety-Critical Software, pages 15\u201320. ACM Press, Volume 2, Number 1 Spring 1994.","DOI":"10.1145\/381766.381769"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T15:25:24Z","timestamp":1549207524000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000491"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0000491","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}