{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T20:51:41Z","timestamp":1760820701736,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319191942"},{"type":"electronic","value":"9783319191959"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19195-9_14","type":"book-chapter","created":{"date-parts":[[2015,5,5]],"date-time":"2015-05-05T10:28:41Z","timestamp":1430821721000},"page":"213-227","source":"Crossref","is-referenced-by-count":2,"title":["Simple Isolation for an Actor Abstract Machine"],"prefix":"10.1007","author":[{"given":"Benoit","family":"Claudel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quentin","family":"Sabah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Bernard","family":"Stefani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Agha, G.A.: Actors: A Model of Concurrent Computation in Distributed Systems. The MIT Press (1986)","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Armstrong, J.: Erlang. Commun. ACM\u00a053(9) (2010)","DOI":"10.1145\/1810891.1810910"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, S.M., Garner, R., Hoffman, C., et\u00a0al.: The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA 2006. ACM (2006)","DOI":"10.1145\/1167473.1167488"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Carlsson, R., Sagonas, K.F., Wilhelmsson, J.: Message analysis for concurrent programs using message passing. ACM Trans. Program. Lang. Syst.\u00a028(4) (2006)","DOI":"10.1145\/1146809.1146813"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/978-3-540-45070-2_9","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"D. Clarke","year":"2003","unstructured":"Clarke, D., Wrigstad, T.: External uniqueness is unique enough. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 176\u2013200. Springer, Heidelberg (2003)"},{"key":"14_CR6","unstructured":"Claudel, B.: M\u00e9canismes logiciels de protection m\u00e9moire. PhD thesis, Universit\u00e9 de Grenoble (2009)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Czajkowski, G., Dayn\u00e8s, L.: Multitasking without compromise: A virtual machine evolution. In: OOPSLA 2001. ACM (2001)","DOI":"10.1145\/504282.504292"},{"key":"14_CR8","unstructured":"Coq development team, http:\/\/coq.inria.fr"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Fahndrich, M., Aiken, M., et al.: Language Support for Fast and Reliable Message-based Communication in Singularity OS. In: 1st EuroSys Conference. ACM (2006)","DOI":"10.1145\/1217935.1217953"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Garner, R.J., Blackburn, S.M., Frampton, D.: A comprehensive evaluation of object scanning techniques. In: 10th ISMM. ACM (2011)","DOI":"10.1145\/1993478.1993484"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Geoffray, N., Thomas, G., Muller, G., et al.: I-JVM: a java virtual machine for component isolation in osgi. In: DSN 2009. IEEE (2009)","DOI":"10.1109\/DSN.2009.5270296"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-3-642-39038-8_12","volume-title":"ECOOP 2013 \u2013 Object-Oriented Programming","author":"O. Gruber","year":"2013","unstructured":"Gruber, O., Boyer, F.: Ownership-based isolation for concurrent actors on multi-core machines. In: Castagna, G. (ed.) ECOOP 2013. LNCS, vol.\u00a07920, pp. 281\u2013301. Springer, Heidelberg (2013)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-540-72794-1_10","volume-title":"Coordination Models and Languages","author":"P. Haller","year":"2007","unstructured":"Haller, P., Odersky, M.: Actors that unify threads and events. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 171\u2013190. Springer, Heidelberg (2007)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1007\/978-3-642-14107-2_17","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"P. Haller","year":"2010","unstructured":"Haller, P., Odersky, M.: Capabilities for uniqueness and borrowing. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 354\u2013378. Springer, Heidelberg (2010)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Hogg, J.: Islands: aliasing protection in object-oriented languages. SIGPLAN Not.\u00a026(11) (1991)","DOI":"10.1145\/118014.117975"},{"key":"14_CR16","unstructured":"http:\/\/jikesrvm.org"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Karmani, R.K., Shali, A., Agha, G.: Actor frameworks for the JVM platform: a comparative analysis. In: 7th PPPJ. ACM (2009)","DOI":"10.1145\/1596655.1596658"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Klein, G., Nipkow, T.: A machine-checked model for a java-like language, virtual machine, and compiler. ACM Trans. Program. Lang. Syst.\u00a028(4) (2006)","DOI":"10.1145\/1146809.1146811"},{"key":"14_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BFb0053062","volume-title":"ECOOP \u201996 - Object-Oriented Programming","author":"N.H. Minsky","year":"1996","unstructured":"Minsky, N.H.: Towards alias-free pointers. In: Cointe, P. (ed.) ECOOP 1996. LNCS, vol.\u00a01098, pp. 189\u2013209. Springer, Heidelberg (1996)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"M\u00fcller, P., Rudich, A.: Ownership transfer in universe types. SIGPLAN Not.\u00a042(10) (2007)","DOI":"10.1145\/1297105.1297061"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Negara, S., Karmani, R.K., Agha, G.A.: Inferring ownership transfer for efficient message passing. In: 16th PPOPP. ACM (2011)","DOI":"10.1145\/1941553.1941566"},{"key":"14_CR22","unstructured":"Sabah, Q.: SIAAM: Simple Isolation for an Abstract Actor Machine. PhD thesis, Universit\u00e9 de Grenoble (December 2013)"},{"key":"14_CR23","unstructured":"http:\/\/sable.github.io\/soot\/"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/978-3-540-70592-5_6","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"S. Srinivasan","year":"2008","unstructured":"Srinivasan, S., Mycroft, A.: Kilim: Isolation-Typed Actors for Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 104\u2013128. Springer, Heidelberg (2008)"},{"key":"14_CR25","unstructured":"https:\/\/team.inria.fr\/spades\/siaam\/"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19195-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T20:36:35Z","timestamp":1598992595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19195-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319191942","9783319191959"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19195-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}