{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T00:06:40Z","timestamp":1778198800061,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540527534","type":"print"},{"value":"9783540471370","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52753-2_39","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:42:09Z","timestamp":1330206129000},"page":"176-192","source":"Crossref","is-referenced-by-count":17,"title":["Algebraic operational semantics and Occam"],"prefix":"10.1007","author":[{"given":"Yuri","family":"Gurevich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lawrence S.","family":"Moss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"11_CR1","unstructured":"Blakley, R., Ph. D. Thesis, University of Michigan. (In preparation)."},{"key":"11_CR2","unstructured":"B\u00f6rger, E., A Logical Operational Semantics for Full Prolog, these Proceedings."},{"key":"11_CR3","unstructured":"Gurevich, Y., Logic and the Challenge of Computer Science. In Trends in Theoretical Computer Science (E. B\u00f6rger, ed.), Computer Science Press, 1988, 1\u201357."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Gurevich, Y. and J. M. Morris, Algebraic Operational Semantics and Modula-2. In Proceedings, Logik in der Informatik, Springer LNCS, vol. 329, pp. 81\u2013101.","DOI":"10.1007\/3-540-50241-6_31"},{"key":"11_CR5","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"Hoare, C. A. R., Communicating Sequential Processes, Prentice-Hall International, London, 1985."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0304-3975(88)90049-7","volume":"60","author":"C. A. R. Hoare","year":"1988","unstructured":"Hoare, C. A. R. and A. W. Roscoe, The Laws of Occam Programming, Oxford University Computing Laboratory Technical Monograph PRG-53, 1986. Also appears in Theoretical Computer Science 60 (1988), pp. 177\u2013229.","journal-title":"Also appears in Theoretical Computer Science"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Milner, R., A Calculus of Communicating Systems, Springer LNCS vol. 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"11_CR8","unstructured":"Pountain, D., A Tutorial Introduction to OCCAM Programming, INMOS Ltd, 1987."},{"key":"11_CR9","first-page":"306","volume":"197","author":"A. W. Roscoe","year":"1985","unstructured":"Roscoe, A. W., Denotational Semantics for Occam, in S. D. Brookes, et al (eds.), Seminar on Concurrency Springer LNCS 197, 1985, 306\u2013329.","journal-title":"Springer LNCS"}],"container-title":["Lecture Notes in Computer Science","CSL '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52753-2_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:09:18Z","timestamp":1619572158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52753-2_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540527534","9783540471370"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-52753-2_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990]]}}}