{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:10:21Z","timestamp":1742595021637,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566106"},{"type":"electronic","value":"9783540475989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56610-4_88","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:22:12Z","timestamp":1330255332000},"page":"544-558","source":"Crossref","is-referenced-by-count":3,"title":["Automating (specification = implementation) using equational reasoning and LOTOS"],"prefix":"10.1007","author":[{"given":"Carron","family":"Kirkwood","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"J. Baillie. A CCS case study: a safety-critical system. Software Engineering Journal, pages 159\u2013167, July 1991.","DOI":"10.1049\/sej.1991.0019"},{"key":"37_CR2","unstructured":"G. Bruns and S. Anderson. The Formalization and Analysis of a Communications Protocol. Technical Report ECS-LFCS-91-137, LFCS, University of Edinburgh, 1991."},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"R. Cleveland, J. Parrow, and B. Steffen. The Concurrency Workbench. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, LNCS 407, pages 24\u201337. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52148-8_3"},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"R. De Nicola, P. Inverardi, and M. Nesi. Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Expressions. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, LNCS 407, pages 54\u201367, 1989.","DOI":"10.1007\/3-540-52148-8_5"},{"key":"37_CR5","unstructured":"A.J.J. Dick. A Case Study for the ERIL Project. Private communication, 1990."},{"key":"37_CR6","unstructured":"J.C. Godskesen, K.G. Larsen, and M. Zeeberg. TAV (Tools for Automatic Verification): Users Manual. Technical report, Aalborg University, 1989."},{"key":"37_CR7","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":"37_CR8","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":"37_CR9","doi-asserted-by":"crossref","unstructured":"D. Kapur and H. Zhang. RRL: Rewrite Rule Laboratory User's Manual, 1987. Revised May 1989.","DOI":"10.1007\/3-540-16780-3_140"},{"key":"37_CR10","unstructured":"C. Kirkwood. A Case Study for the ERIL Project. Technical Report 1992\/R4, University of Glasgow, 1992."},{"key":"37_CR11","first-page":"527","volume-title":"Formal Description Techniques, III","author":"C. Kirkwood","year":"1991","unstructured":"C. Kirkwood and K. Norrie. Some Experiments using Term Rewriting Techniques for Concurrency. In J. Quemada, J. Mafias, and E. V\u00e1squez, editors, Formal Description Techniques, III, pages 527\u2013530. Elsevier Science Publishers B.V. (North-Holland), 1991. Extended Abstract."},{"key":"37_CR12","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall International, 1989."},{"key":"37_CR13","doi-asserted-by":"crossref","unstructured":"M. Nesi. Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic. In K.G. Larsen and A. Skou, editors, Proceedings of CAV 91, LNCS 575, pages 288\u201398, 1992.","DOI":"10.1007\/3-540-55179-4_28"},{"key":"37_CR14","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0304-3975(90)90111-T","volume":"89","author":"C. A. Vissers","year":"1991","unstructured":"C.A. Vissers, G. Scollo, M. Van Sinderen, and E. Brinksma. Specification styles in distributed systems design and verification. Theoretical Computer Science, 89:179\u2013206, 1991.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT'93: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56610-4_88.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:51:09Z","timestamp":1742593869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56610-4_88"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566106","9783540475989"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-56610-4_88","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}