{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:40Z","timestamp":1761597040888},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414131"},{"type":"electronic","value":"9783540444503"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44450-5_32","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T08:26:08Z","timestamp":1187252768000},"page":"397-408","source":"Crossref","is-referenced-by-count":10,"title":["Inheritance in the Join Calculus"],"prefix":"10.1007","author":[{"given":"C\u00e9dric","family":"Fournet","sequence":"first","affiliation":[]},{"given":"Cosimo","family":"Laneve","sequence":"additional","affiliation":[]},{"given":"Luc","family":"Maranget","sequence":"additional","affiliation":[]},{"given":"Didier","family":"R\u00e9my","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,11,24]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"G. Agha, P. Wegner, and A. Yonezawa. Research Directions in Concurrent Object-Oriented Programming. MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.001.0001"},{"issue":"4","key":"32_CR2","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, 1(4):366\u2013411, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"32_CR3","series-title":"Lect Notes Comput Sci","first-page":"406","volume-title":"A calculus for concurrent objects","author":"P. D. Blasio","year":"1996","unstructured":"P. D. Blasio and K. Fisher. A calculus for concurrent objects. In U. Montanari and V. Sassone, editors, Proceedings of the 7th International Conference on Concurrency Theory (CONCUR\u2019 96), LNCS 1119, pages 406\u2013421, 1996."},{"key":"32_CR4","unstructured":"L. Cardelli. Obliq A language with distributed scope. SRC Research Report 122, Digital Equipment, June 1994."},{"key":"32_CR5","unstructured":"S. Dal-Zilio. Quiet and bouncing objects: Two migration abstractions in a simple distributed blue calculus. In H. H\u00fcttel and U. Nestmann, editors, Proceedings of the Worshop on Semantics of Objects as Proceedings (SOAP\u2019 98), pages 35\u201342, June 1998."},{"key":"32_CR6","volume-title":"The Join-Calculus: a Calculus for Distributed Mobile Programming","author":"C. Fournet","year":"1998","unstructured":"C. Fournet. The Join-Calculus: a Calculus for Distributed Mobile Programming. PhD thesis, Ecole Polytechnique, Palaiseau, Nov. 1998."},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proceedings of POPL\u2019 96, pages 372\u2013385, Jan. 1996.","DOI":"10.1145\/237721.237805"},{"key":"32_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"A calculus of mobile agents","author":"C. Fournet","year":"1996","unstructured":"C. Fournet, G. Gonthier, J.-J. L\u00e9vy, L. Maranget, and D. R\u00e9my. A calculus of mobile agents. In U. Montanari and V. Sassone, editors, Proceedings of the 7th International Conference on Concurrency Theory (CONCUR\u2019 96), LNCS 1119, pages 406\u2013421, 1996."},{"key":"32_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-63141-0_14","volume-title":"Implicit typing \u00e1 la ML for the join-calculus","author":"C. Fournet","year":"1997","unstructured":"C. Fournet, C. Laneve, L. Maranget, and D. R\u00e9my. Implicit typing \u00e1 la ML for the join-calculus. In A. Mazurkiewicz and J. Winkowski, editors, Proceedings of the 8th International Conference on Concurrency Theory, LNCS 1243, pages 196\u2013212, 1997."},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"C. Fournet, C. Laneve, L. Maranget, and D. R\u00e9my. Inheritance in the joincalculus. Full version. Available electronically at http:\/\/cristal.inria.fr\/~remy\/work\/ojoin.ps.gz , June 2000.","DOI":"10.1007\/3-540-44450-5_32"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"A. D. Gordon and P. D. Hankin. A concurrent object calculus: reduction and typing. In U. Nestmann and B. C. Pierce, editors, HLCL\u2019 98: High-Level Concurrent Languages, volume 16(3) of entcs, Nice, France, Sept. 1998.","DOI":"10.1016\/S1571-0661(04)00145-8"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"J. Kleist and D. Sangiorgi. Imperative objects and mobile processes. June 1998.","DOI":"10.7146\/brics.v5i52.19498"},{"key":"32_CR13","unstructured":"F. Le Fessant. The JoCAML system prototype. Software and documentation available from http:\/\/pauillac.inria.fr\/jocaml , 1998."},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"F.Le Fessant and L. Maranget. Compiling join-patterns. Electronic Notes in Computer Science, 16(2), 1998.","DOI":"10.1016\/S1571-0661(04)00143-4"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, chapter 4, pages 107\u2013150. The MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.003.0007"},{"key":"32_CR16","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Towards an object calculus","author":"O. Nierstrasz","year":"1992","unstructured":"O. Nierstrasz. Towards an object calculus. In O. N. M. Tokoro and P. Wegner, editors, Proceedings of the ECOOP\u201991 Workshop on Object-Based Concurrent Computing, LNCS 612, pages 1\u201320, 1992."},{"key":"32_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Functional nets","author":"M. Odersky","year":"2000","unstructured":"M. Odersky. Functional nets. In European Symposium on Programming 2000, LNCS. Springer Verlag, 2000."},{"issue":"1","key":"32_CR18","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1006\/inco.1998.2711","volume":"143","author":"D. Sangiorgi","year":"1998","unstructured":"D. Sangiorgi. An interpretation of typed objects into typed \u03c0-calculus. Information and Computation, 143(1):34\u201373, 1998.","journal-title":"Information and Computation"},{"issue":"2","key":"32_CR19","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. J. Walker","year":"1995","unstructured":"D. J. Walker. Objects in the pi-calculus. Information and Computation, 116(2):253\u2013271, 1995.","journal-title":"Information and Computation"},{"issue":"11","key":"32_CR20","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/960112.28722","volume":"21","author":"A. Yonezawa","year":"1986","unstructured":"A. Yonezawa, J.-P. Briot, and E. Shibayama. Object-oriented concurrent programming in ABCL\/1. ACM SIGPLAN Notices, 21(11):258\u2013268, Nov. 1986. Proceedings of OOPSLA\u2019 86.","journal-title":"ACM SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44450-5_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T12:12:13Z","timestamp":1708171933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44450-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414131","9783540444503"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44450-5_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}