{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:17Z","timestamp":1761611297378},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544159"},{"type":"electronic","value":"9783540476177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54415-1_63","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:46:28Z","timestamp":1330209988000},"page":"532-547","source":"Crossref","is-referenced-by-count":25,"title":["\u03c0-Calculus semantics of object-oriented programming languages"],"prefix":"10.1007","author":[{"given":"David","family":"Walker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"4","key":"26_CR1","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01887214","volume":"1","author":"P. America","year":"1989","unstructured":"P. America, Issues in the design of a parallel object-oriented language, Formal Aspects of Computing, vol.1 no.4 pp.366\u2013411 (1989).","journal-title":"Formal Aspects of Computing"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"P. America, J. de Bakker, J. Kok and J. Rutten, Operational semantics of a parallel object-oriented language, in 13th POPL, 194\u2013208 (1986).","DOI":"10.1145\/512644.512662"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"P. America, J. de Bakker, J. Kok and J. Rutten, Denotational semantics of a parallel object-oriented language, Information and Computation, vol.83 no.2 (1989).","DOI":"10.1016\/0890-5401(89)90057-6"},{"key":"26_CR4","unstructured":"P. America and F. de Boer, A Proof System for Process Creation, Philips Research Laboratories Report RWR-116-DO-90506-DO (1990)."},{"key":"26_CR5","unstructured":"R. Milner, Communication and Concurrency, Prentice-Hall (1989)."},{"key":"26_CR6","unstructured":"R. Milner, Functions as Processes, Research Report 1154, INRIA (1990)."},{"key":"26_CR7","unstructured":"R. Milner, J. Parrow and D. Walker, A Calculus of Mobile Processes, Part I, University of Edinburgh report ECS-LFCS-89-85, to appear in J. Information and Computation."},{"key":"26_CR8","unstructured":"R. Milner, J. Parrow and D. Walker, A Calculus of Mobile Processes, Part II, University of Edinburgh report ECS-LFCS-89-86, to appear in J. Information and Computation."},{"key":"26_CR9","volume-title":"Algebraic description of mobile networks: An example","author":"F. Orava","year":"1990","unstructured":"F. Orava and J. Parrow, Algebraic description of mobile networks: An example, to appear in Proc. 10th IFIP Symposium on Protocol Specification, Testing and Verification, North-Holland (1990)."},{"key":"26_CR10","unstructured":"F. Vaandrager, Process algebra semantics for POOL, Technical Report CS-R8629, CWI Amsterdam (1986)."},{"key":"26_CR11","first-page":"21","volume":"491","author":"D. Walker","year":"1991","unstructured":"D. Walker, Some results on the \u03c0-calculus, in Concurrency: Theory, Language, and Architecture, A. Yonezawa and T. Ito (eds.), Springer LNCS 491, 21\u201335 (1991).","journal-title":"Springer LNCS"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54415-1_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:15Z","timestamp":1605646455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54415-1_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544159","9783540476177"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-54415-1_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}