{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T22:03:37Z","timestamp":1780524217587,"version":"3.54.1"},"publisher-location":"Cham","reference-count":71,"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_3","type":"book-chapter","created":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T14:07:50Z","timestamp":1758722870000},"page":"60-80","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Actor Capabilities for\u00a0Message Ordering"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9012-4490","authenticated-orcid":false,"given":"Colin S.","family":"Gordon","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,9,25]]},"reference":[{"key":"3_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"},{"key":"3_CR2","doi-asserted-by":"publisher","DOI":"10.1142\/p132","volume-title":"Type and Effect Systems: Behaviours for Concurrency","author":"T Amtoft","year":"1999","unstructured":"Amtoft, T., Nielson, F., Nielson, H.R.: Type and Effect Systems: Behaviours for Concurrency. Imperial College Press, London (1999)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Areces, C., ten Cate, B.: Hybrid logics. In: Studies in Logic and Practical Reasoning, vol.\u00a03, pp. 821\u2013868. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80017-6"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Bagherzadeh, M., Fireman, N., Shawesh, A., Khatchadourian, R.: Actor concurrency bugs: a comprehensive study on symptoms, root causes, API usages, and differences. Proc. ACM Program. Lang. 4(OOPSLA), 1\u201332 (2020)","DOI":"10.1145\/3428282"},{"issue":"5","key":"3_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3122848","volume":"50","author":"FD Boer","year":"2017","unstructured":"Boer, F.D., et al.: A survey of active object languages. ACM Comput. Surv. (CSUR) 50(5), 1\u201339 (2017)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: preventing data races and deadlocks. In: OOPSLA (2002)","DOI":"10.1145\/582438.582440"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Rinard, M.: A parameterized type system for race-free java programs. In: OOPSLA (2001)","DOI":"10.1145\/504282.504287"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Caldwell, S., Garnock-Jones, T., Felleisen, M.: Programming and reasoning about actors that share state. J. Funct. Program. 34 (2024). https:\/\/doi.org\/10.1017\/S0956796824000091","DOI":"10.1017\/S0956796824000091"},{"key":"3_CR9","unstructured":"Castegren, E., Wrigstad, T.: Reference capabilities for concurrency control. In: 30th European Conference on Object-Oriented Programming, ECOOP 2016 (2016)"},{"key":"3_CR10","unstructured":"Castegren, E., Wrigstad, T.: Relaxed linear references for lock-free programming. In: 31st European Conference on Object-Oriented Programming, ECOOP 2017 (2017)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Charousset, D., Hiesgen, R., Schmidt, T.C.: CAF-the C++ actor framework for scalable and resource-efficient applications. In: Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, pp. 15\u201328 (2014)","DOI":"10.1145\/2687357.2687363"},{"issue":"OOPSLA2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"1531","DOI":"10.1145\/3622852","volume":"7","author":"L Cheeseman","year":"2023","unstructured":"Cheeseman, L., et al.: When concurrency matters: behaviour-oriented concurrency. Proc. ACM Program. Lang. 7(OOPSLA2), 1531\u20131560 (2023)","journal-title":"Proc. ACM Program. Lang."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Choudhury, V., Krishnaswami, N.: Recovering purity with comonads and capabilities. Proc. ACM Program. Lang. 4(ICFP), 1\u201328 (2020)","DOI":"10.1145\/3408993"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Clebsch, S., Drossopoulou, S., Blessing, S., McNeil, A.: Deny capabilities for safe, fast actors. In: Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, pp. 1\u201312. ACM (2015)","DOI":"10.1145\/2824815.2824816"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Craig, A., Potanin, A., Groves, L., Aldrich, J.: Capabilities: effects for free. In: International Conference on Formal Engineering Methods (ICFEM) (2018)","DOI":"10.1007\/978-3-030-02450-5_14"},{"issue":"2","key":"3_CR16","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10817-023-09665-3","volume":"67","author":"L Cruz-Filipe","year":"2023","unstructured":"Cruz-Filipe, L., Montesi, F., Peressotti, M.: A formal theory of choreographic programming. J. Autom. Reason. 67(2), 21 (2023)","journal-title":"J. Autom. Reason."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Dal\u00a0Lago, U., Gavazzo, F.: A relational theory of effects and coeffects. Proc. ACM Program. Lang. 6(POPL), 1\u201328 (2022)","DOI":"10.1145\/3498692"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/j.scico.2014.02.008","volume":"98","author":"J De Koster","year":"2015","unstructured":"De Koster, J., Marr, S., D\u2019Hondt, T., Van Cutsem, T.: Domains: safe sharing among actors. Sci. Comput. Program. 98, 140\u2013158 (2015)","journal-title":"Sci. Comput. Program."},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"De\u00a0Koster, J., Van\u00a0Cutsem, T., De\u00a0Meuter, W.: 43 years of actors: a taxonomy of actor models and their key properties. In: Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, pp. 31\u201340 (2016)","DOI":"10.1145\/3001886.3001890"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"De\u00a0Koster, J., Van\u00a0Cutsem, T., D\u2019Hondt, T.: Domains: safe sharing among actors. In: Proceedings of the 2nd Edition on Programming Systems, Languages and Applications Based on Actors, Agents, and Decentralized Control Abstractions, pp. 11\u201322 (2012)","DOI":"10.1145\/2414639.2414644"},{"key":"3_CR21","unstructured":"de\u2019Liguoro, U., Padovani, L.: Mailbox types for unordered interactions. In: 32nd European Conference on Object-Oriented Programming (ECOOP 2018), pp. 15\u20131. Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik (2018)"},{"key":"3_CR22","unstructured":"Dietl, W., Drossopoulou, S., M\u00fcller, P.: Generic universe types. In: ECOOP (2007)"},{"key":"3_CR23","unstructured":"Duffy, J.: (2015). https:\/\/joeduffyblog.com\/2015\/11\/03\/blogging-about-midori\/"},{"key":"3_CR24","doi-asserted-by":"publisher","unstructured":"F\u00e4hndrich, M., et al.: Language support for fast and reliable message-based communication in singularity OS. In: Proceedings of the 1st ACM SIGOPS\/EuroSys European Conference on Computer Systems 2006, EuroSys 2006, pp. 177\u2013190. ACM (2006). https:\/\/doi.org\/10.1145\/1217935.1217953","DOI":"10.1145\/1217935.1217953"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Fowler, S., Attard, D.P., Sowul, F., Gay, S.J., Trinder, P.: Special delivery: programming with mailbox types. Proc. ACM Program. Lang. 7(ICFP), 78\u2013107 (2023)","DOI":"10.1145\/3607832"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Gaboardi, M., Katsumata, S.Y., Orchard, D., Breuvart, F., Uustalu, T.: Combining effects and coeffects via grading. In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, pp. 476\u2013489 (2016)","DOI":"10.1145\/2951913.2951939"},{"issue":"1","key":"3_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3632398","volume":"46","author":"S Giallorenzo","year":"2024","unstructured":"Giallorenzo, S., Montesi, F., Peressotti, M.: Choral: object-oriented choreographic programming. ACM Trans. Program. Lang. Syst. 46(1), 1\u201359 (2024)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR28","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.tcs.2018.09.001","volume":"764","author":"P Giannini","year":"2019","unstructured":"Giannini, P., Servetto, M., Zucca, E., Cone, J.: Flexible recovery of uniqueness and immutability. Theoret. Comput. Sci. 764, 145\u2013172 (2019)","journal-title":"Theoret. Comput. Sci."},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Gordon, C.S.: Modal assertions for actor correctness. In: Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, pp. 11\u201320 (2019)","DOI":"10.1145\/3358499.3361221"},{"key":"3_CR30","unstructured":"Gordon, C.S.: Designing with static capabilities and effects: use, mention, and invariants (pearl). In: 34th European Conference on Object-Oriented Programming (ECOOP 2020). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik (2020)"},{"issue":"1","key":"3_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3450272","volume":"43","author":"CS Gordon","year":"2021","unstructured":"Gordon, C.S.: Polymorphic iterable sequential effect systems. ACM Trans. Program. Lang. Syst. (TOPLAS) 43(1), 1\u201379 (2021)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"3_CR32","unstructured":"Gordon, C.S.: Actor capabilities for message ordering (extended version). Technical report (2025). https:\/\/arxiv.org\/abs\/2502.07958"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Gordon, C.S., Ernst, M.D., Grossman, D.: Rely-guarantee references for refinement types over aliased mutable data. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 73\u201384 (2013)","DOI":"10.1145\/2491956.2462160"},{"issue":"3","key":"3_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3064850","volume":"39","author":"CS Gordon","year":"2017","unstructured":"Gordon, C.S., Ernst, M.D., Grossman, D., Parkinson, M.J.: Verifying invariants of lock-free data structures with rely-guarantee and refinement types. ACM Trans. Program. Lang. Syst. (TOPLAS) 39(3), 1\u201354 (2017)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Gordon, C.S., Parkinson, M.J., Parsons, J., Bromfield, A., Duffy, J.: Uniqueness and reference immutability for safe parallelism. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, pp. 21\u201340 (2012)","DOI":"10.1145\/2384616.2384619"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Haller, P.: On the integration of the actor model in mainstream technologies: the Scala perspective. In: Proceedings of the 2nd Edition on Programming Systems, Languages and Applications Based on Actors, Agents, and Decentralized Control Abstractions, pp.\u00a01\u20136 (2012)","DOI":"10.1145\/2414639.2414641"},{"key":"3_CR37","unstructured":"Harvey, P., Fowler, S., Dardha, O., Gay, S.J.: Multiparty session types for safe runtime adaptation in an actor language. In: 35th European Conference on Object-Oriented Programming (ECOOP 2021). Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik (2021)"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Hedden, B., Zhao, X.: A comprehensive study on bugs in actor systems. In: Proceedings of the 47th International Conference on Parallel Processing, pp.\u00a01\u20139 (2018)","DOI":"10.1145\/3225058.3225139"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Henglein, F., Makholm, H., Niss, H.: Effect types and region-based memory management. In: Pierce, B.C. (ed.) Advanced Topics in Types and Programming Languages, chap.\u00a03, pp. 87\u2013136. MIT Press (2005)","DOI":"10.7551\/mitpress\/1104.003.0005"},{"key":"3_CR40","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, pp. 235\u2013245 (1973)"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"Hinrichsen, J.K., Bengtson, J., Krebbers, R.: Actris: session-type based reasoning in separation logic. Proc. ACM Program. Lang. 4(POPL), 1\u201330 (2019)","DOI":"10.1145\/3371074"},{"issue":"OOPSLA2","key":"3_CR42","doi-asserted-by":"publisher","first-page":"1446","DOI":"10.1145\/3689762","volume":"8","author":"JK Hinrichsen","year":"2024","unstructured":"Hinrichsen, J.K., Jacobs, J., Krebbers, R.: Multris: functional verification of multiparty message passing in separation logic. Proc. ACM Program. Lang. 8(OOPSLA2), 1446\u20131474 (2024)","journal-title":"Proc. ACM Program. Lang."},{"key":"3_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122\u2013138. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0053567"},{"key":"3_CR44","doi-asserted-by":"publisher","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL 2008 (2008). https:\/\/doi.org\/10.1145\/1328438.1328472","DOI":"10.1145\/1328438.1328472"},{"issue":"2","key":"3_CR45","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1243418.1243424","volume":"41","author":"GC Hunt","year":"2007","unstructured":"Hunt, G.C., Larus, J.R.: Singularity: rethinking the software stack. SIGOPS Oper. Syst. Rev. 41(2), 37\u201349 (2007). https:\/\/doi.org\/10.1145\/1243418.1243424","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"3_CR46","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796818000151","volume":"28","author":"R Jung","year":"2018","unstructured":"Jung, R., Krebbers, R., Jourdan, J.H., Bizjak, A., Birkedal, L., Dreyer, D.: Iris from the ground up: a modular foundation for higher-order concurrent separation logic. J. Funct. Program. 28, e20 (2018)","journal-title":"J. Funct. Program."},{"key":"3_CR47","doi-asserted-by":"crossref","unstructured":"Karmani, R.K., Shali, A., Agha, G.: Actor frameworks for the JVM platform: a comparative analysis. In: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, pp. 11\u201320 (2009)","DOI":"10.1145\/1596655.1596658"},{"key":"3_CR48","doi-asserted-by":"crossref","unstructured":"Lagaillardie, N., Neykova, R., Yoshida, N.: Implementing multiparty session types in rust. In: International Conference on Coordination Languages and Models, pp. 127\u2013136. Springer (2020)","DOI":"10.1007\/978-3-030-50029-0_8"},{"key":"3_CR49","unstructured":"Levy, H.M.: Capability-Based Computer Systems. Digital Press (1984)"},{"key":"3_CR50","doi-asserted-by":"crossref","unstructured":"Marino, D., Millstein, T.: A generic type-and-effect system. In: TLDI (2009)","DOI":"10.1145\/1481861.1481868"},{"key":"3_CR51","doi-asserted-by":"crossref","unstructured":"Milano, M., Turcotti, J., Myers, A.C.: A flexible type system for fearless concurrency. In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, pp. 458\u2013473 (2022)","DOI":"10.1145\/3519939.3523443"},{"key":"3_CR52","doi-asserted-by":"publisher","unstructured":"Milit\u00e3o, F., Aldrich, J., Caires, L.: Composing interfering abstract protocols. In: 30th European Conference on Object-Oriented Programming, ECOOP 2016 (2016). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2016.16","DOI":"10.4230\/LIPIcs.ECOOP.2016.16"},{"key":"3_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-662-44202-9_14","volume-title":"ECOOP 2014 \u2013 Object-Oriented Programming","author":"F Milit\u00e3o","year":"2014","unstructured":"Milit\u00e3o, F., Aldrich, J., Caires, L.: Rely-guarantee protocols. In: Jones, R. (ed.) ECOOP 2014. LNCS, vol. 8586, pp. 334\u2013359. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44202-9_14"},{"key":"3_CR54","unstructured":"Miller, M.: Robust composition: towards a unified approach to access control and concurrency control. Johns Hopkins University (2006)"},{"key":"3_CR55","doi-asserted-by":"crossref","unstructured":"Miller, M.S., Tribble, E.D., Shapiro, J.: Concurrency among strangers: programming in e as plan coordination. In: Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, 7\u20139 April 2005. Revised Selected Papers, pp. 195\u2013229. Springer (2005)","DOI":"10.1007\/11580850_12"},{"key":"3_CR56","doi-asserted-by":"crossref","unstructured":"Neykova, R., Yoshida, N.: Multiparty session actors. Logical Methods Comput. Sci. 13 (2017)","DOI":"10.23638\/LMCS-13(1:17)2017"},{"key":"3_CR57","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R.: From CML to process algebras. In: CONCUR (1993)","DOI":"10.7146\/dpb.v22i433.6750"},{"key":"3_CR58","doi-asserted-by":"publisher","unstructured":"Nierstrasz, O.: Regular types for active objects. In: Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1993, pp. 1\u201315. Association for Computing Machinery, New York (1993). https:\/\/doi.org\/10.1145\/165854.167976","DOI":"10.1145\/165854.167976"},{"key":"3_CR59","doi-asserted-by":"crossref","unstructured":"Orchard, D., Yoshida, N.: Effects as sessions, sessions as effects. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 568\u2013581 (2016)","DOI":"10.1145\/2837614.2837634"},{"key":"3_CR60","unstructured":"Servetto, M., Pearce, D.J., Groves, L., Potanin, A.: Balloon types for safe parallelisation over arbitrary object graphs. In: Workshop on Determinism and Correctness in Parallel Programming (WoDet) (2013)"},{"key":"3_CR61","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Pregui\u00e7a, N., Baquero, C., Zawirski, M.: Conflict-free replicated data types. In: Stabilization, Safety, and Security of Distributed Systems: 13th International Symposium, SSS 2011, Grenoble, France, 10\u201312 October 2011. Proceedings 13, pp. 386\u2013400. Springer (2011)","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"3_CR62","doi-asserted-by":"crossref","unstructured":"Shen, G., Kashiwa, S., Kuper, L.: Haschor: functional choreographic programming for all (functional pearl). Proc. ACM Program. Lang. 7(ICFP), 541\u2013565 (2023)","DOI":"10.1145\/3607849"},{"key":"3_CR63","doi-asserted-by":"crossref","unstructured":"Skalka, C.: Types and trace effects for object orientation. High.-Order Symbolic Comput. 21(3) (2008)","DOI":"10.1007\/s10990-008-9032-6"},{"key":"3_CR64","doi-asserted-by":"crossref","unstructured":"Skalka, C., Smith, S., Van\u00a0Horn, D.: Types and trace effects of higher order programs. J. Funct. Program. 18(2) (2008)","DOI":"10.1017\/S0956796807006466"},{"key":"3_CR65","doi-asserted-by":"crossref","unstructured":"Tate, R.: The sequential semantics of producer effect systems. In: POPL (2013)","DOI":"10.1145\/2429069.2429074"},{"key":"3_CR66","unstructured":"Team, S.L.: Data Race Safety. https:\/\/www.swift.org\/migration\/documentation\/swift-6-concurrency-migration-guide\/dataracesafety\/"},{"key":"3_CR67","doi-asserted-by":"crossref","unstructured":"Torres\u00a0Lopez, C., Marr, S., Gonzalez\u00a0Boix, E., M\u00f6ssenb\u00f6ck, H.: A study of concurrency bugs and advanced development support for actor-based programs, pp. 155\u2013185. Springer (2018)","DOI":"10.1007\/978-3-030-00302-9_6"},{"key":"3_CR68","doi-asserted-by":"publisher","unstructured":"Tschantz, M.S., Ernst, M.D.: Javari: adding reference immutability to java. In: OOPSLA (2005). https:\/\/doi.org\/10.1145\/1094811.1094828","DOI":"10.1145\/1094811.1094828"},{"issue":"4","key":"3_CR69","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3397495","volume":"53","author":"P Weisenburger","year":"2020","unstructured":"Weisenburger, P., Wirth, J., Salvaneschi, G.: A survey of multitier programming. ACM Comput. Surv. (CSUR) 53(4), 1\u201335 (2020)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"3_CR70","doi-asserted-by":"publisher","unstructured":"Zibin, Y., Potanin, A., Ali, M., Artzi, S., Kiezun, A., Ernst, M.D.: Object and reference immutability using java generics. In: ESEC-FSE (2007). https:\/\/doi.org\/10.1145\/1287624.1287637","DOI":"10.1145\/1287624.1287637"},{"key":"3_CR71","doi-asserted-by":"publisher","unstructured":"Zibin, Y., Potanin, A., Li, P., Ali, M., Ernst, M.D.: Ownership and immutability in generic java. In: OOPSLA (2010). https:\/\/doi.org\/10.1145\/1869459.1869509","DOI":"10.1145\/1869459.1869509"}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T21:00:36Z","timestamp":1780520436000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05291-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,25]]},"ISBN":["9783032052902","9783032052919"],"references-count":71,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05291-9_3","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"}}]}}