{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:23Z","timestamp":1725490223244},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678977"},{"type":"electronic","value":"9783540446187"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44618-4_34","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:38:51Z","timestamp":1188311931000},"page":"474-489","source":"Crossref","is-referenced-by-count":16,"title":["Typing Non-uniform Concurrent Objects"],"prefix":"10.1007","author":[{"given":"Ant\u00f3nio","family":"Ravara","sequence":"first","affiliation":[]},{"given":"Vasco T.","family":"Vasconcelos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,21]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Gul Agha. Actors: A Model of Concurrent Computation in Distributed Systems. M.I.T. Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"34_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63383-9_92","volume-title":"Coordination Languages and Models","author":"R. Amadio","year":"1997","unstructured":"Roberto Amadio. An asynchronous model of locality, failure, and process mobility. In Coordination Languages and Models, LNCS 1282. Springer-Verlag, 1997."},{"issue":"2","key":"34_CR3","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0304-3975(97)00223-5","volume":"195","author":"R. Amadio","year":"1998","unstructured":"Roberto Amadio, Ilaria Castellani, and Davide Sangiorgi. On bisimulations for the asynchronous \u03c0-calculus. Theoretical Computer Science, 195(2):291\u2013324, 1998.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"34_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S0304-3975(97)00220-X","volume":"195","author":"M. Boreale","year":"1998","unstructured":"Michele Boreale. On the expressiveness of internal mobility in name-passing calculi. Theoretical Computer Science, 195(2):205\u2013226, 1998.","journal-title":"Theoretical Computer Science"},{"key":"34_CR5","volume-title":"Rapport de Recherche RR-1702","author":"G. Boudol","year":"1992","unstructured":"G\u00e9rard Boudol. Asynchrony and the \u03c0-calculus (note). Rapport de Recherche RR-1702, INRIA Sophia-Antipolis, 1992."},{"key":"34_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/3-540-63875-X_56","volume-title":"Advances in Computing Science","author":"G. Boudol","year":"1997","unstructured":"G\u00e9rard Boudol. Typing the use of resources in a concurrent calculus. In Advances in Computing Science, LNCS 1345, pages 239\u2013253. Springer-Verlag, 1997."},{"key":"34_CR7","unstructured":"S\u00f8ren Christensen. Decidability and Decomposition in Process Algebras. PhD thesis ECS-LFCS-93-278, Dep. of Computer Science, University of Edinburgh, 1993."},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Jean-Louis Cola\u00e7o, Mark Pantel, and Patrick Sall\u00e9. A set constraint-based analyses of actors. In Proc. of FMOODS\u201997. IFIP, 1997.","DOI":"10.1007\/978-0-387-35261-9_8"},{"key":"34_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"782","DOI":"10.1007\/3-540-63165-8_231","volume-title":"Proc. of ICALP\u201997","author":"L. Dami","year":"1997","unstructured":"Laurent Dami. Labelled reductions, runtime errors, and operational subsumption. In Proc. of ICALP\u201997, LNCS 1256, pages 782\u2013793. Springer-Verlag, 1997."},{"key":"34_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"Proc. of CONCUR\u201996","author":"C. Fournet","year":"1996","unstructured":"C\u00e9dric Fournet, Georges Gonthier, Jean-Jacques L\u00e9vy, Luc Maranget, and Didier R\u00e9my. A calculus of mobile agents. In Proc. of CONCUR\u201996, LNCS 1119, pages 406\u2013421. Springer-Verlag, 1996."},{"key":"34_CR11","series-title":"Lect Notes Comput Sci","first-page":"141","volume-title":"Proc. of ECOOP\u201991","author":"K. Honda","year":"1991","unstructured":"Kohei Honda and Mario Tokoro. An object calculus for asynchronous communication. In Proc. of ECOOP\u201991, LNCS 512, pages 141\u2013162. Springer-Verlag, 1991."},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"Naoki Kobayashi. A partially deadlock-free typed process calculus. In Proc. of LICS\u201997, pages 128\u2013139. Computer Society Press, 1997.","DOI":"10.1109\/LICS.1997.614941"},{"key":"34_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1007\/BFb0055108","volume-title":"Proc. of ICALP\u201998","author":"M. Merro","year":"1998","unstructured":"Massimo Merro and Davide Sangiorgi. On asynchrony in name-passing calculi. In Proc. of ICALP\u201998, LNCS 1443, pages 856\u2013967. Springer-Verlag, 1998."},{"key":"34_CR14","unstructured":"Robin Milner. Communication and Concurrency C. A. R. Hoare Series Editor\u2014 Prentice-Hall, 1989."},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Robin Milner. The polyadic \u03c0-calculus: a tutorial. In Logic and Algebra of Specification. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"34_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"Elie Najm and Abdelkrim Nimour. A calculus of object bindings. In Proc. of FMOODS\u201997. IFIP, 1997.","DOI":"10.1007\/978-0-387-35261-9_2"},{"key":"34_CR18","unstructured":"Oscar Nierstrasz. Regular types for active objects. In Object-Oriented Software Composition, pages 99\u2013121. Prentice-Hall, 1995."},{"key":"34_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/BFb0053387","volume-title":"Proc. of ECOOP\u201997","author":"F. Puntigam","year":"1997","unstructured":"Franz Puntigam. Coordination Requirements Expressed in Types for Active Objects. In Proc. of ECOOP\u201997, LNCS 1241, pages 367\u2013388. Springer-Verlag, 1997."},{"key":"34_CR20","unstructured":"Ant\u00f3nio Ravara and Lu\u00eds Lopes. Programming and implementation issues in non-uniform TyCO. Research report DCC-99-1, Department of Computer Science, Faculty of Sciences, University of Porto."},{"key":"34_CR21","unstructured":"Ant\u00f3nio Ravara, Pedro Resende, and Vasco T. Vasconcelos. An algebra of behavioural types. Research report 26\/99 DM-IST, Technical University of Lisbon."},{"key":"34_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1007\/BFb0002782","volume-title":"Proc. of Euro-Par\u201997","author":"A. Ravara","year":"1997","unstructured":"Ant\u00f3nio Ravara and Vasco T. Vasconcelos. Behavioural types for a calculus of concurrent objects. In Proc. of Euro-Par\u201997, LNCS 1300, pages 554\u2013561. Springer-Verlag, 1997."},{"key":"34_CR23","unstructured":"Ant\u00f3nio Ravara and Vasco T. Vasconcelos. Typing non-uniform concurrent objects. Research report 6\/00 DM-IST, Technical University of Lisbon."},{"key":"34_CR24","doi-asserted-by":"crossref","unstructured":"Eijiro Sumii and Naoki Kobayashi. A generalized deadlock-free process calculus. In Proc. of HLCL\u201998, Electronic Notes in Theoretical Computer Science, (16), 1998.","DOI":"10.1016\/S1571-0661(04)00144-6"},{"issue":"2","key":"34_CR25","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/(SICI)1096-9942(1999)5:2<97::AID-TAPO3>3.0.CO;2-G","volume":"5","author":"V. T. Vasconcelos","year":"1999","unstructured":"Vasco T. Vasconcelos. Processes, functions, and datatypes. Theory and Practice of Object Systems, 5(2):97\u2013110, 1999.","journal-title":"Theory and Practice of Object Systems"},{"issue":"5\u20136","key":"34_CR26","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0020-0190(99)00109-X","volume":"71","author":"V. T. Vasconcelos","year":"1999","unstructured":"Vasco T. Vasconcelos and Ant\u00f3nio Ravara. Communication errors in the \u03c0-calculus are undecidable. Information Processing Letters, 71(5\u20136):229\u2013233, 1999.","journal-title":"Information Processing Letters"},{"key":"34_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/3-540-57342-9_89","volume-title":"Proc. of ISOTAS\u201993","author":"V. T. Vasconcelos","year":"1993","unstructured":"Vasco T. Vasconcelos and Mario Tokoro. A typing system for a calculus of objects. In Proc. of ISOTAS\u201993, LNCS 742, pages 460\u2013474. Springer-Verlag, 1993."},{"key":"34_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/3-540-62034-6_64","volume-title":"Proc. of FST\/TCS\u201996","author":"N. Yoshida","year":"1996","unstructured":"Nobuko Yoshida. Graph types for monadic mobile processes. In Proc. of FST\/TCS\u201996, LNCS 1180, pages 371\u2013386. Springer-Verlag, 1996."}],"container-title":["Lecture Notes in Computer Science","CONCUR 2000 \u2014 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44618-4_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,22]],"date-time":"2021-08-22T12:40:41Z","timestamp":1629636041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44618-4_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678977","9783540446187"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-44618-4_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}