{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:01:58Z","timestamp":1725483718144},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678236"},{"type":"electronic","value":"9783540449294"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44929-9_29","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T13:20:53Z","timestamp":1178371253000},"page":"409-424","source":"Crossref","is-referenced-by-count":2,"title":["An Interpretation of Typed Concurrent Objects in the Blue Calculus"],"prefix":"10.1007","author":[{"given":"Silvano","family":"Dal Zilio","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Cardelli, and R. Viswanathan. An interpretation of objects and object types. In Proc. of POPL\u2019 96, pages 396\u2013409, 1996.","DOI":"10.1145\/237721.237809"},{"key":"29_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-58715-2_126","volume-title":"Proc. of FST & TCS\u2019 94","author":"R. Amadio","year":"1994","unstructured":"R. Amadio and S. Prasad. Localities and failures. In Proc. of FST & TCS\u2019 94, volume 880 of SLNCS, pages 205\u2013216, 1994."},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217\u2013248, 1992.","journal-title":"Theoretical Computer Science"},{"key":"29_CR5","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1023\/A:1010064516533","volume":"11","author":"G. Boudol","year":"1998","unstructured":"G. Boudol. The \u03c0-calculus in direct style. Higher-Order and Symbolic Computation, 11:177\u2013208, 1998. Also appeared in Proc. of POPL\u2019 97, Jan. 1997.","journal-title":"Higher-Order and Symbolic Computation"},{"issue":"1","key":"29_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1017\/S0960129500000049","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"L. Cardelli and J. C. Mitchell. Operations on records. Math. Structures in Computer Science, 1(1):3\u201348, 1991.","journal-title":"Math. Structures in Computer Science"},{"key":"29_CR7","unstructured":"S. Dal-Zilio. A bisimulation for the Blue calculus. TR 3664, INRIA, Apr. 1999."},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"S. Dal-Zilio. An interpretation of typed concurrent objects in the Blue calculus. Extended version, available at http:\/\/research.microsoft.com\/~sdal\/ , 1999.","DOI":"10.1007\/3-540-44929-9_29"},{"key":"29_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of CONCUR\u2019 96","author":"P. D. Blasio","year":"1996","unstructured":"P. Di Blasio and K. Fisher. A calculus for concurrent objects. In Proc. of CONCUR\u2019 96, volume 1119 of LNCS, Aug. 1996."},{"key":"29_CR10","unstructured":"W. Ferreira, M. Hennessy, and A. Jeffrey. Combining typed \u03bb-calculus with CCS. In Essays in Honour of Robin Milner. MIT Press, 1998."},{"key":"29_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/3-540-58976-7","volume-title":"Proc. of FCT\u2019 95","author":"K. Fisher","year":"1995","unstructured":"K. Fisher and J. C. Mitchell. A delegation-based object calculus with subtyping. In Proc. of FCT\u2019 95, volume 965 of LNCS, pages 43\u201361, 1995."},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proc. of POPL\u2019 96, pages 372\u2013385, Jan. 1996.","DOI":"10.1145\/237721.237805"},{"key":"29_CR13","unstructured":"A. D. Gordon and P. D. Hankin. A concurrent object calculus: reduction and typing. In Proc. of HLCL\u2019 98, Elsevier ENTCS, 1998."},{"key":"29_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of FST & TCS\u2019 97","author":"A. D. Gordon","year":"1997","unstructured":"A. D. Gordon, P. D. Hankin, and S. B. Lassen. Compilation and equivalence of imperative objects. In Proc. of FST & TCS\u2019 97, volume 1346 of LNCS, Dec. 1997."},{"key":"29_CR15","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/BF01019463","volume":"6","author":"R. Harper","year":"1993","unstructured":"R. Harper and M. Lillibridge. Polymorphic type assignment and CPS conversion. LISP and Symbolic Computation, 6:361\u2013380, 1993.","journal-title":"LISP and Symbolic Computation"},{"key":"29_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"Proc. of ECOOP\u2019 91","author":"K. Honda","year":"1991","unstructured":"K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proc. of ECOOP\u2019 91, volume 512 of LNCS, pages 133\u2013147, 1991."},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"H. H\u00fcttel and J. Kleist. Objects as mobile processes. TR RS-96-38, BRICS, Oct. 1996.","DOI":"10.7146\/brics.v3i38.20020"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"J. Kleist and D. Sangiorgi. Imperative objects and mobile processes. In Proc. of PROCOMET\u2019 98. North-Holland, 1998.","DOI":"10.1007\/978-0-387-35358-6_20"},{"key":"29_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of ICALP\u2019 98","author":"M. Merro","year":"1998","unstructured":"M. Merro and D. Sangiorgi. On asynchrony in name-passing calculi. In Proc. of ICALP\u2019 98, volume 1443 of LNCS, 1998."},{"key":"29_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Proc. of ICALP\u2019 92","author":"R. Milner","year":"1992","unstructured":"R. Milner and D. Sangiorgi. Barbed bisimulation. In Proc. of ICALP\u2019 92, volume 623 of LNCS, pages 685\u2013695, 1992."},{"key":"29_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1353","DOI":"10.1007\/3-540-48311-X_191","volume-title":"Proc. of Euro-Par\u2019 99","author":"U. Nestmann","year":"1999","unstructured":"U. Nestmann, H. H\u00fcttel, J. Kleist, M. Merro. Aliasing Models for Object Migration. In Proc. of Euro-Par\u2019 99, volume 1685 of LNCS, pages 1353\u20131368, 1999."},{"key":"29_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BFb0026570","volume-title":"Proc. of TPPP\u2019 94","author":"B. C. Pierce","year":"1995","unstructured":"B. C. Pierce and D. N. Turner. Concurrent objects in a process calculus. In Proc. of TPPP\u2019 94, volume 907 of LNCS, pages 187\u2013215, 1995."},{"key":"29_CR23","unstructured":"D. Sangiorgi. An interpretation of typed objects into typed \u03c0-calculus. TR 3000, INRIA, 1996."},{"key":"29_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/BFb0052178","volume-title":"Proc. of ECOOP\u2019 94","author":"V. T. Vasconcelos","year":"1994","unstructured":"V. T. Vasconcelos. Typed concurrent objects. In Proc. of ECOOP\u2019 94, volume 821 of LNCS, pages 100\u2013117, 1994."},{"key":"29_CR25","doi-asserted-by":"crossref","unstructured":"R. Viswanathan. Full abstraction for first-order objects with recursive types and subtyping. In Proc. of LICS\u2019 98, pages 380\u2013391, 1998.","DOI":"10.1109\/LICS.1998.705673"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44929-9_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T18:40:58Z","timestamp":1556390458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44929-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678236","9783540449294"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-44929-9_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}