{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T22:01:46Z","timestamp":1780524106158,"version":"3.54.1"},"publisher-location":"Cham","reference-count":40,"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_1","type":"book-chapter","created":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T14:08:09Z","timestamp":1758722889000},"page":"3-35","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Specification For Half a\u00a0Century of\u00a0Actor Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2932-8208","authenticated-orcid":false,"given":"Joeri","family":"De Koster","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5229-5627","authenticated-orcid":false,"given":"Wolfgang","family":"De Meuter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,9,25]]},"reference":[{"key":"1_CR1","unstructured":"Akka, inc. akka platform. https:\/\/akka.io\/. Accessed 17 June 2025"},{"key":"1_CR2","unstructured":"Microsoft. orleans framework. https:\/\/learn.microsoft.com\/en-us\/dotnet\/orleans\/overview. Accessed 15 Sept 2014"},{"key":"1_CR3","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Agha, G.: Concurrent object-oriented programming. Commun. ACM 33(9), 125\u2013141 (1990). https:\/\/doi.org\/10.1145\/83880.84528","DOI":"10.1145\/83880.84528"},{"issue":"1","key":"1_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"GA Agha","year":"1997","unstructured":"Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program. 7(1), 1\u201372 (1997). https:\/\/doi.org\/10.1017\/S095679689700261X","journal-title":"J. Funct. Program."},{"key":"1_CR6","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in ERLANG, 2nd edn. Prentice Hall International (UK) Ltd., Hertfordshire (1996)"},{"issue":"8","key":"1_CR7","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/872734.806932","volume":"12","author":"HC Baker","year":"1977","unstructured":"Baker, H.C., Hewitt, C.: The incremental garbage collection of processes. SIGPLAN Not. 12(8), 55\u201359 (1977). https:\/\/doi.org\/10.1145\/872734.806932","journal-title":"SIGPLAN Not."},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Boer, F.D., et al.: A survey of active object languages. ACM Comput. Surv. 50(5) (2017). https:\/\/doi.org\/10.1145\/3122848","DOI":"10.1145\/3122848"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-18941-3_1","volume-title":"Formal Methods for Multicore Programming","author":"S Brandauer","year":"2015","unstructured":"Brandauer, S., et al.: Parallel objects for multicores: a glimpse at the parallel language Encore. In: Bernardo, M., Johnsen, E.B. (eds.) SFM 2015. LNCS, vol. 9104, pp. 1\u201356. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-18941-3_1"},{"key":"1_CR10","unstructured":"Briot, J.P.: Actalk: a testbed for classifying and designing actor languages in the smalltalk-80 environment, pp. 109\u2013129. University Press (1989)"},{"issue":"3","key":"1_CR11","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/292469.292470","volume":"30","author":"JP Briot","year":"1998","unstructured":"Briot, J.P., Guerraoui, R., Lohr, K.P.: Concurrency and distribution in object-oriented programming. ACM Comput. Surv. 30(3), 291\u2013329 (1998). https:\/\/doi.org\/10.1145\/292469.292470","journal-title":"ACM Comput. Surv."},{"key":"1_CR12","unstructured":"Bykov, S.: The curse of the a-word (2021). https:\/\/temporal.io\/blog\/sergey-the-curse-of-the-a-word. Accessed 01 Jan 2023"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Caromel, D., Henrio, L., Serpette, B.P.: Asynchronous and deterministic objects. SIGPLAN Not. 39(1), 123\u2013134 (2004). https:\/\/doi.org\/10.1145\/982962.964012","DOI":"10.1145\/982962.964012"},{"issue":"2","key":"1_CR14","doi-asserted-by":"publisher","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A Church","year":"1936","unstructured":"Church, A.: An unsolvable problem of elementary number theory. Am. J. Math. 58(2), 345\u2013363 (1936)","journal-title":"Am. J. Math."},{"key":"1_CR15","doi-asserted-by":"publisher","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, AGERE 2016, pp. 31\u201340. Association for Computing Machinery, New York (2016). https:\/\/doi.org\/10.1145\/3001886.3001890","DOI":"10.1145\/3001886.3001890"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/11785477_16","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"J Dedecker","year":"2006","unstructured":"Dedecker, J., Van Cutsem, T., Mostinckx, S., D\u2019Hondt, T., De Meuter, W.: Ambient-oriented programming in AmbientTalk. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 230\u2013254. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11785477_16"},{"issue":"2","key":"1_CR17","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","volume":"103","author":"M Felleisen","year":"1992","unstructured":"Felleisen, M., Hieb, R.: The revised report on the syntactic theories of sequential control and state. Theor. Comput. Sci. 103(2), 235\u2013271 (1992). https:\/\/doi.org\/10.1016\/0304-3975(92)90014-7","journal-title":"Theor. Comput. Sci."},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Greif, I., Hewitt, C.: Actor semantics of planner-73. In: Proceedings of the 2nd ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL \u201975, pp. 67\u201377. Association for Computing Machinery, New York (1975). https:\/\/doi.org\/10.1145\/512976.512984","DOI":"10.1145\/512976.512984"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Haller, P.: On the integration of the actor model in mainstream technologies: the scala perspective. In: Agha, G.A., Bordini, R.H., Marron, A., Ricci, A. (eds.) Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, Tucson, Arizona, USA, 21\u201322 October 2012, pp.\u00a01\u20136. ACM (2012). https:\/\/doi.org\/10.1145\/2414639.2414641","DOI":"10.1145\/2414639.2414641"},{"issue":"2\u20133","key":"1_CR20","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/J.TCS.2008.09.019","volume":"410","author":"P Haller","year":"2009","unstructured":"Haller, P., Odersky, M.: Scala actors: unifying thread-based and event-based programming. Theor. Comput. Sci. 410(2\u20133), 202\u2013220 (2009). https:\/\/doi.org\/10.1016\/J.TCS.2008.09.019","journal-title":"Theor. Comput. Sci."},{"key":"1_CR21","unstructured":"Hewitt, C.: Planner: a language for manipulating models and proving theorems in a robot (1970)"},{"key":"1_CR22","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, IJCAI\u201973, pp. 235\u2013245. Morgan Kaufmann Publishers Inc., San Francisco (1973)"},{"issue":"8","key":"1_CR23","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978). https:\/\/doi.org\/10.1145\/359576.359585","journal-title":"Commun. ACM"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"EB Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_8"},{"key":"1_CR25","unstructured":"Kafura, D.: Act++: Building a concurrent C++ with actors. J. Object Oriented Program. 3(1), 25\u201337 (1990). http:\/\/dl.acm.org\/citation.cfm?id=90482.90493"},{"key":"1_CR26","unstructured":"Kahn, K., Tribble, E.D., Miller, M., Bobrow, D.G.: Vulcan: Logical Concurrent Objects, pp. 75\u2013112. MIT Press, Cambridge (1987)"},{"key":"1_CR27","unstructured":"Kim, W.: Thal: an actor system for efficient and scalable concurrent computing (1997)"},{"key":"1_CR28","doi-asserted-by":"publisher","unstructured":"Liskov, B., Shrira, L.: Promises: linguistic support for efficient asynchronous procedure calls in distributed systems. In: Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, PLDI \u201988, pp. 260\u2013267. ACM, New York (1988). https:\/\/doi.org\/10.1145\/53990.54016","DOI":"10.1145\/53990.54016"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/11580850_12","volume-title":"Trustworthy Global Computing","author":"MS Miller","year":"2005","unstructured":"Miller, M.S., Tribble, E.D., Shapiro, J.: Concurrency among strangers. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 195\u2013229. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11580850_12"},{"issue":"9","key":"1_CR30","doi-asserted-by":"publisher","first-page":"1278","DOI":"10.1109\/PROC.1975.9939","volume":"63","author":"JH Saltzer","year":"1975","unstructured":"Saltzer, J.H., Schroeder, M.D.: The protection of information in computer systems. Proc. IEEE 63(9), 1278\u20131308 (1975)","journal-title":"Proc. IEEE"},{"key":"1_CR31","doi-asserted-by":"publisher","unstructured":"Scholliers, C., Tanter, E., De Meuter, W.: Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model. Sci. Comput. Program. 80, 52\u201364 (2014). https:\/\/doi.org\/10.1016\/j.scico.2013.03.011","DOI":"10.1016\/j.scico.2013.03.011"},{"issue":"4","key":"1_CR32","first-page":"385","volume":"63","author":"M Sirjani","year":"2004","unstructured":"Sirjani, M., Movaghar, A., Shali, A., De Boer, F.S.: Modeling and verification of reactive systems using rebeca. Fund. Inform. 63(4), 385\u2013410 (2004)","journal-title":"Fund. Inform."},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. 5142, pp. 104\u2013128. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70592-5_6"},{"key":"1_CR34","doi-asserted-by":"publisher","unstructured":"Sturman, D., Agha, G.: A protocol description language for customizing failure semantics. In: 13th Symposium on Reliable Distributed Systems, 1994. Proceedings, pp. 148\u2013157 (1994). https:\/\/doi.org\/10.1109\/RELDIS.1994.336900","DOI":"10.1109\/RELDIS.1994.336900"},{"issue":"4","key":"1_CR35","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1023\/A:1010035624696","volume":"11","author":"GJ Sussman","year":"1998","unstructured":"Sussman, G.J., Steele, G.L., Jr.: Scheme: a interpreter for extended lambda calculus. Higher-Order Symb. Comput. 11(4), 405\u2013439 (1998)","journal-title":"Higher-Order Symb. Comput."},{"key":"1_CR36","doi-asserted-by":"publisher","unstructured":"Tomlinson, C., Kim, W., Scheevel, M., Singh, V., Will, B., Agha, G.: Rosette: an object-oriented concurrent systems architecture. In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA\/ECOOP \u201988, pp. 91\u201393. ACM, New York (1988). https:\/\/doi.org\/10.1145\/67386.67410","DOI":"10.1145\/67386.67410"},{"key":"1_CR37","doi-asserted-by":"publisher","unstructured":"Van\u00a0Cutsem, T., Mostinckx, S., Boix, E.G., Dedecker, J., De\u00a0Meuter, W.: Ambienttalk: object-oriented event-driven programming in mobile ad hoc networks. In: Proceedings of the XXVI International Conference of the Chilean Society of Computer Science, SCCC \u201907, pp. 3\u201312. IEEE Computer Society, Washington, DC (2007). https:\/\/doi.org\/10.1109\/SCCC.2007.4","DOI":"10.1109\/SCCC.2007.4"},{"key":"1_CR38","doi-asserted-by":"publisher","unstructured":"arela, C., Agha, G.: Programming dynamically reconfigurable open systems with SALSA. SIGPLAN Not. 36(12), 20\u201334 (2001). https:\/\/doi.org\/10.1145\/583960.583964","DOI":"10.1145\/583960.583964"},{"key":"1_CR39","unstructured":"Varela, C.A.: Programming Distributed Computing Systems: A Foundational Approach. The MIT Press, Cambridge (2013)"},{"key":"1_CR40","doi-asserted-by":"publisher","unstructured":"Yonezawa, A., Briot, J.P., Shibayama, E.: Object-oriented concurrent programming ABCL\/1. In: Conference Proceedings on Object-oriented Programming Systems, Languages and Applications, OOPLSA \u201986, pp. 258\u2013268. ACM, New York (1986). https:\/\/doi.org\/10.1145\/28697.28722","DOI":"10.1145\/28697.28722"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T21:00:06Z","timestamp":1780520406000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05291-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,25]]},"ISBN":["9783032052902","9783032052919"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05291-9_1","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"}}]}}