{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:30Z","timestamp":1761597330653},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_82","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:03:54Z","timestamp":1330293834000},"page":"655-670","source":"Crossref","is-referenced-by-count":23,"title":["A calculus for concurrent objects"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Blasio","sequence":"first","affiliation":[]},{"given":"Kathleen","family":"Fisher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. A theory of primitive objects: untyped and first order systems. In Proc. of TACS'94, 1994.","key":"39_CR1","DOI":"10.1007\/3-540-57880-3_1"},{"unstructured":"M. Abadi and L. Cardelli. An imperative object calculus: basic typing and soundness. In Proc. of second ACM-SIGPLAN workshop on state in programming Languages, 1995.","key":"39_CR2"},{"key":"39_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a model of concurrent computation in distributed systems","author":"G. Agha","year":"1986","unstructured":"G. Agha. Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge, Mass., 1986."},{"doi-asserted-by":"crossref","unstructured":"G. Agha. Concurrent object-oriented programming. In Communication ACM 33(9), 1990.","key":"39_CR4","DOI":"10.1145\/83880.84528"},{"key":"39_CR5","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BF01887214","volume":"1","author":"P. America","year":"1989","unstructured":"P. America. Issue in the design of a parallel object-oriented language. In Formal Aspects of Computing, 1, 366\u2013411, 1989.","journal-title":"Formal Aspects of Computing"},{"doi-asserted-by":"crossref","unstructured":"G. Agha, I. Mason, S. Smith, and C. Talcott. Towards a theory of actor computation. In Proc. of CONCUR'92, 1992.","key":"39_CR6","DOI":"10.1007\/BFb0084816"},{"doi-asserted-by":"crossref","unstructured":"D. Caromel. Towards a method of concurrent object-oriented programming. In Communication of ACM, 36(9), 1993.","key":"39_CR7","DOI":"10.1145\/162685.162711"},{"issue":"1","key":"39_CR8","first-page":"27","volume":"8","author":"L. Cardelli","year":"1995","unstructured":"L. Cardelli. A language with distributed scope. In Computing Systems, 8(1):27\u201359, 1995.","journal-title":"Computing Systems"},{"unstructured":"R. Chandra, A. Gupta, and J. Hennessy. COOL: A language for parallel programming. In Proc. 2nd workshop on programming languages and compilers for parallel computing, IEEE CS, 1989.","key":"39_CR9"},{"doi-asserted-by":"crossref","unstructured":"P. Di Blasio and K. Fisher. A calculus for concurrent objects. Stanford University, Technical Note STAN-CS-TN-96-35, 1996.","key":"39_CR10","DOI":"10.1007\/3-540-61604-7_82"},{"doi-asserted-by":"crossref","unstructured":"S. Frolund and G. Agha. A language framework for multi-object coordination. In Proc. of ECOOP'93, 1993.","key":"39_CR11","DOI":"10.1007\/3-540-47910-4_18"},{"key":"39_CR12","first-page":"3","volume":"1","author":"K. Fisher","year":"1994","unstructured":"K. Fisher, F. Honsell, and J.C. Mitchell. A lambda calculus of objects and method specialization. In Nordic J. Computing (formerly BIT), 1:3\u201337, 1994. Preliminary version appeared in Proc. IEEE Symp. on Logic in Computer Science, 26\u201338, 1993.","journal-title":"Nordic J. Computing (formerly BIT)"},{"key":"39_CR13","first-page":"844","volume":"789","author":"K. Fisher","year":"1994","unstructured":"K. Fisher and J.C. Mitchell. Notes on typed object-oriented programming. In Proc. Theoretical Aspects of Computer Software, pages 844\u2013885. Springer LNCS 789, 1994.","journal-title":"Springer LNCS"},{"key":"39_CR14","first-page":"42","volume":"965","author":"K. Fisher","year":"1995","unstructured":"K. Fisher and J.C. Mitchell. A delegation-based object calculus with subtyping. In Proc. 10th Int'l Conf. Fundamentals of Computation Theory (FCT'95), pages 42\u201361. Springer LNCS 965, 1995.","journal-title":"Springer LNCS"},{"doi-asserted-by":"crossref","unstructured":"R. Harper. A simplified account of polymorphic references. In Information Processing Letters 51(4), 1994.","key":"39_CR15","DOI":"10.1016\/0020-0190(94)90120-1"},{"doi-asserted-by":"crossref","unstructured":"C. Jones. A pi-calculus semantics for an object-based design notation. In Proc. of CONCUR'93, 1993.","key":"39_CR16","DOI":"10.1007\/3-540-57208-2_12"},{"doi-asserted-by":"crossref","unstructured":"N. Kobayashi and A. Yonezawa. Type theoretic foundations for object-oriented concurrent programming. In Proc. of OOPSLA '94, 1994.","key":"39_CR17","DOI":"10.1145\/191080.191088"},{"doi-asserted-by":"crossref","unstructured":"J. Lucassen and D. Gifford. Polymorphic effect systems. In Proc. of POPL'88, 1988.","key":"39_CR18","DOI":"10.1145\/73560.73564"},{"doi-asserted-by":"crossref","unstructured":"S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993.","key":"39_CR19","DOI":"10.7551\/mitpress\/2087.003.0007"},{"doi-asserted-by":"crossref","unstructured":"O. Nierstrasz. Towards an object calculus. In Proc. of the ECOOP'91 Workshop on Object-Based Concurrent Computing, 1992.","key":"39_CR20","DOI":"10.1007\/3-540-55613-3_1"},{"doi-asserted-by":"crossref","unstructured":"O. Nierstrasz. Regular types for active objects. In Proc. of OOPSLA '93, 1993.","key":"39_CR21","DOI":"10.1145\/165854.167976"},{"doi-asserted-by":"crossref","unstructured":"F. Nielson and H. Nielson. From CML to process algebra. In Proc. of CONCUR'93, 1993.","key":"39_CR22","DOI":"10.1007\/3-540-57208-2_34"},{"doi-asserted-by":"crossref","unstructured":"B. Pierce and D. Turner. Concurrent objects in a process calculus. In Proc. of Theory and Practice of Parallel Programming, 1994.","key":"39_CR23","DOI":"10.1007\/BFb0026570"},{"doi-asserted-by":"crossref","unstructured":"C. Talcott. Interaction semantics for components of distributed systems. In Proc. of FMOODS96, 1996.","key":"39_CR24","DOI":"10.1007\/978-0-387-35082-0_11"},{"doi-asserted-by":"crossref","unstructured":"V. T. Vasconcelos. Typed concurrent objects. In Proc. ECOOP'94, 1994.","key":"39_CR25","DOI":"10.1007\/BFb0052178"},{"doi-asserted-by":"crossref","unstructured":"B. Wyatt, K. Kavi, and S. Hufnagel. Parallelism in object-oriented languages: A survey. In IEEE Software, 1992.","key":"39_CR26","DOI":"10.1109\/52.168859"},{"key":"39_CR27","volume-title":"ABCL: An object-oriented concurrent system","author":"A. Yonezawa","year":"1990","unstructured":"A. Yonezawa. ABCL: An object-oriented concurrent system. MIT Press, Cambridge, Mass., 1990."}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_82.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:36:52Z","timestamp":1713634612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_82","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}