{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T22:01:42Z","timestamp":1780524102746,"version":"3.54.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032052902","type":"print"},{"value":"9783032052919","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T00:00:00Z","timestamp":1758758400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T00:00:00Z","timestamp":1758758400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-05291-9_7","type":"book-chapter","created":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T14:07:49Z","timestamp":1758722869000},"page":"165-186","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Decoupling Isolation and\u00a0Concurrency: An Actor-Centric View of\u00a0Behaviour-Oriented Concurrency"],"prefix":"10.1007","author":[{"given":"Luke","family":"Cheeseman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elias","family":"Castegren","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tobias","family":"Wrigstad","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvan","family":"Clebsch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Parkinson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,9,25]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press (1986)","DOI":"10.7551\/mitpress\/1086.001.0001"},{"issue":"9","key":"7_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/83880.84528","volume":"33","author":"G Agha","year":"1990","unstructured":"Agha, G.: Concurrent object-oriented programming. Commun. ACM 33(9), 125\u2013141 (1990)","journal-title":"Commun. ACM"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Armstrong, J.: A history of Erlang. In: HOPL III, pp. 6\u20131\u20136\u201326. ACM (2007)","DOI":"10.1145\/1238844.1238850"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Arvidsson, E., et al.: Reference capabilities for flexible memory management. Proc. ACM Program. Lang. 7(OOPSLA2) (2023)","DOI":"10.1145\/3622846"},{"key":"7_CR5","unstructured":"The C++ actor framework. https:\/\/www.actor-framework.org\/. Accessed Feb 2025"},{"key":"7_CR6","unstructured":"Castegren, E., Wrigstad, T.: Relaxed linear references for lock-free data structures. In: M\u00fcller, P. (ed.) 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain, volume\u00a074 of LIPIcs, pp. 6:1\u20136:32. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2017)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Castegren, E., Wrigstad, T.: Encore: Coda. In: de\u00a0Boer, F.S., Damiani, F., H\u00e4hnle, R., Johnsen, E.B., Kamburjan, E. (eds.) Active Object Languages: Current Research Trends, volume 14360 of Lecture Notes in Computer Science, pp. 59\u201391. Springer (2024)","DOI":"10.1007\/978-3-031-51060-1_3"},{"key":"7_CR8","unstructured":"Cheeseman, L.: Behaviour-Oriented Concurrency. PhD thesis, Imperial College London (2024)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Cheeseman, L., et al.: When concurrency matters: Behaviour-oriented concurrency. Proc. ACM Program. Lang. 7(OOPSLA2) (2023)","DOI":"10.1145\/3622852"},{"key":"7_CR10","unstructured":"Clebsch, S.: Pony: Co-designing a Type System and a Runtime. PhD thesis, Imperial College London (2017)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Crichton, W., Gray, G., Krishnamurthi, S.: A grounded conceptual model for ownership types in Rust. Proc. ACM Program. Lang. 7(OOPSLA2) (2023)","DOI":"10.1145\/3622841"},{"key":"7_CR12","unstructured":"The Elixir programming language. https:\/\/elixir-lang.org. Accessed Feb 2025"},{"key":"7_CR13","unstructured":"Greif, I.: Semantics of Communicating Parallel Processes. PhD thesis, Massachusetts Institute of Technology (1975)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Haller, P., Loiko, A.: LaCasa: lightweight affinity and object capabilities in scala. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 272\u2013291. ACM (2016)","DOI":"10.1145\/2983990.2984042"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-319-03850-6_12","volume-title":"Principles of Distributed Systems","author":"Y Hayduk","year":"2013","unstructured":"Hayduk, Y., Sobe, A., Harmanci, D., Marlier, P., Felber, P.: Speculative concurrent processing with transactional memory in the actor model. In: Baldoni, R., Nisse, N., van Steen, M. (eds.) OPODIS 2013. LNCS, vol. 8304, pp. 160\u2013175. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-03850-6_12"},{"key":"7_CR16","unstructured":"Hewitt, P.B., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, IJCAI\u201973, pp. 235\u2013245, San Francisco, CA, USA (1973). Morgan Kaufmann Publishers Inc"},{"key":"7_CR17","unstructured":"Imam, S., Sarkar, V.: Habanero-Scala: Async-finish programming in Scala. In: The Third Scala Workshop (Scala Days 2012) (2012)"},{"key":"7_CR18","unstructured":"\u00d6stlund, J.: Language Constructs for Safe Parallel Programming on Multi-cores. PhD thesis, Department of Information Technology, Uppsala University (2016)"},{"key":"7_CR19","unstructured":"Pony tutorial. https:\/\/tutorial.ponylang.io\/. Accessed June 2025"},{"key":"7_CR20","unstructured":"Explorations into a programming model for BoC in the Python runtime. https:\/\/github.com\/matajoh\/pyrona. Accessed Feb 2025"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Srinivasan, S., Mycroft, A.: Kilim: Isolation-typed actors for Java. In: ECOOP, volume\u00a08, pp. 104\u2013128. Springer (2008)","DOI":"10.1007\/978-3-540-70592-5_6"},{"key":"7_CR22","unstructured":"Steed, G., Drossopoulou, S.: A principled design of capabilities in pony. https:\/\/www.ponylang.io\/media\/papers\/a_prinicipled_design_of_capabilities_in_pony.pdf (2016)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Swalens, J., De Koster, J., De Meuter, W.: Chocola: composable concurrency language. ACM Trans. Program. Lang. Syst. 42(4) (2021)","DOI":"10.1145\/3427201"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-642-39038-8_13","volume-title":"ECOOP 2013 \u2013 Object-Oriented Programming","author":"S Tasharofi","year":"2013","unstructured":"Tasharofi, S., Dinges, P., Johnson, R.E.: Why do Scala developers mix the actor model with other concurrency models? In: Castagna, G. (ed.) ECOOP 2013. LNCS, vol. 7920, pp. 302\u2013326. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39038-8_13"},{"key":"7_CR25","unstructured":"Research programming language for concurrent ownership. https:\/\/github.com\/microsoft\/verona. Accessed Feb 2025"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Yang, A.M., Wrigstad, T.: Type-assisted automatic garbage collection for lock-free data structures. In: Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management. ACM (2017)","DOI":"10.1145\/3092255.3092274"}],"container-title":["Lecture Notes in Computer Science","Concurrent Programming, Open Systems and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05291-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T21:00:51Z","timestamp":1780520451000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05291-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,25]]},"ISBN":["9783032052902","9783032052919"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05291-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,25]]},"assertion":[{"value":"25 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}