{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:38Z","timestamp":1725663158642},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540502418"},{"type":"electronic","value":"9783540459606"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50241-6_31","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:18:47Z","timestamp":1330201127000},"page":"81-101","source":"Crossref","is-referenced-by-count":7,"title":["Algebraic operational semantics and modula-2"],"prefix":"10.1007","author":[{"given":"Yuri","family":"Gurevich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James M.","family":"Morris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"7_CR1","unstructured":"Blakley, Robert and Gurevich, Yuri, \u201cThe Algebraic Operational Semantics of Smalltalk\u201d, in preparation."},{"key":"7_CR2","unstructured":"Gurevich, Yuri, \u201cLogic and the Challenge of Computer Science\u201d, in Current Trends in Theoretical Computer Science (ed. E. Bo\u00f6ger), Computer Science Press, 1987, 1\u201357."},{"key":"7_CR3","unstructured":"Gurevich, Yuri and Moss, Lawrence, \u201cThe Algebraic Operational Semantics of Occam\u201d, in preparation."},{"key":"7_CR4","volume-title":"Advances in Programming and Nonnumerical Computation","author":"P. J. Landin","year":"1966","unstructured":"Landin, Peter J., \u201cA \u03bb-calculus approach\u201d, in Advances in Programming and Nonnumerical Computation, L. Fox(ed.), London, Pergamon Press, 1966."},{"key":"7_CR5","volume-title":"The Lisp 1.5 Programmer's Manual","author":"M. John","year":"1962","unstructured":"McCarthy, John and others, The Lisp 1.5 Programmer's Manual, Cambridge, Massachusetts, MIT Press, 1962."},{"key":"7_CR6","unstructured":"Morris, James, Algebraic Operational Semantics for Modula 2, Ph.D. dissertation, The University of Michigan, 1988."},{"key":"7_CR7","unstructured":"Plotkin, Gordon, A Structural Approach to Operational Semantics, DAIMI FN-19, Aarhus University."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Wegner, Peter, \u201cThe Vienna Definition Language\u201d, ACM Computing Surveys, 4(1), 5\u201363.","DOI":"10.1145\/356596.356598"},{"key":"7_CR9","volume-title":"Programming in Modula-2","author":"W. Niklaus","year":"1982","unstructured":"Wirth, Niklaus, Programming in Modula-2, Berlin, Springer-Verlag, 1982."}],"container-title":["Lecture Notes in Computer Science","CSL '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50241-6_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:54:34Z","timestamp":1619571274000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50241-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540502418","9783540459606"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-50241-6_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}