{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:05Z","timestamp":1725664025226},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578802"},{"type":"electronic","value":"9783540483762"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57880-3_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:36:53Z","timestamp":1330263413000},"page":"501-516","source":"Crossref","is-referenced-by-count":8,"title":["Algebraic proofs of properties of objects"],"prefix":"10.1007","author":[{"given":"David","family":"Walker","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"P. America, J. de Bakker, J. Kok and J. Rutten, Operational semantics of a parallel object-oriented language, in Conference Record of the 13th Symposium on Principles of Programming Languages, 194\u2013208 (1986).","DOI":"10.1145\/512644.512662"},{"key":"33_CR2","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/0890-5401(89)90057-6","volume":"83","author":"P. America","year":"1989","unstructured":"P. America, J. de Bakker, J. Kok and J. Rutten, Denotational semantics of a parallel object-oriented language, Information and Computation, 83, 152\u2013205 (1989).","journal-title":"Information and Computation"},{"key":"33_CR3","doi-asserted-by":"crossref","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, 1, 366\u2013411 (1989).","journal-title":"Formal Aspects of Computing"},{"key":"33_CR4","unstructured":"F. de Boer, Reasoning about dynamically evolving process structures, PhD thesis, Free University of Amsterdam (1991)."},{"key":"33_CR5","first-page":"136","volume":"668","author":"C. Jones","year":"1993","unstructured":"C. Jones, Constraining interference in an object-based design method, in Proc. TAPSOFT'93, Springer-Verlag LNCS vol. 668, 136\u2013150 (1993).","journal-title":"Springer-Verlag LNCS"},{"key":"33_CR6","first-page":"158","volume":"715","author":"C. Jones","year":"1993","unstructured":"C. Jones, A pi-calculus semantics for an object-based design notation, in Proc. CONCUR'93, Springer-Verlag LNCS vol. 715, 158\u2013172 (1993).","journal-title":"Springer-Verlag LNCS"},{"key":"33_CR7","unstructured":"R. Milner, Communication and Concurrency, Prentice Hall, 1989."},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"R. Milner, The polyadic \u03c0-calculus: a tutorial, in Logic and Algebra of Specification, F. Bauer et al. (eds.), Springer-Verlag (1993).","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"33_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow and D. Walker, A calculus of mobile processes, I and II, Information and Computation 100, 1\u201340 and 41\u201377 (1992).","journal-title":"Information and Computation"},{"key":"33_CR10","first-page":"45","volume":"527","author":"R. Milner","year":"1991","unstructured":"R. Milner, J. Parrow and D. Walker, Modal logics for mobile processes, in Proc. CONCUR'91, Springer-Verlag LNCS vol. 527, 45\u201360 (1991).","journal-title":"Springer-Verlag LNCS"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"B. Pierce and D. Sangiorgi, Typing and subtyping for mobile processes, in Proc. IEEE LICS'93, 376\u2013385, Computer Society Press (1993).","DOI":"10.1109\/LICS.1993.287570"},{"key":"33_CR12","unstructured":"D. Sangiorgi, Expressing mobility in process algebras: first-order and higher-order paradigms, PhD thesis, University of Edinburgh (1992)."},{"key":"33_CR13","first-page":"532","volume":"526","author":"D. Walker","year":"1991","unstructured":"D. Walker, \u03c0-calculus semantics for object-oriented programming languages, in Proc. TACS'91, Springer-Verlag LNCS 526, 532\u2013547 (1991).","journal-title":"Springer-Verlag LNCS"},{"key":"33_CR14","unstructured":"D. Walker, Objects in the \u03c0-calculus, to appear in Information and Computation (1992)."},{"key":"33_CR15","volume-title":"Proc. International Summer Institute on Parallel Computer Architectures, Langauges and Algorithms","author":"D. Walker","year":"1993","unstructured":"D. Walker, Process calculus and parallel object-oriented programming lanaguges, in Proc. International Summer Institute on Parallel Computer Architectures, Langauges and Algorithms, Prague, July 1993 (Computer Society Press, to appear)."},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"D. Walker, Algebraic proofs of properties of objects, technical report, University of Warwick (1994).","DOI":"10.1007\/3-540-57880-3_33"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems \u2014 ESOP '94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57880-3_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:22Z","timestamp":1605647722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57880-3_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578802","9783540483762"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-57880-3_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}