{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T01:30:09Z","timestamp":1777944609583,"version":"3.51.4"},"publisher-location":"Cham","reference-count":67,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031510595","type":"print"},{"value":"9783031510601","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-51060-1_5","type":"book-chapter","created":{"date-parts":[[2024,1,28]],"date-time":"2024-01-28T07:02:08Z","timestamp":1706425328000},"page":"123-146","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Survey of\u00a0Actor-Like Programming Models for\u00a0Serverless Computing"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7119-5234","authenticated-orcid":false,"given":"Jonas","family":"Spenger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9351-8508","authenticated-orcid":false,"given":"Paris","family":"Carbone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2659-5271","authenticated-orcid":false,"given":"Philipp","family":"Haller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,29]]},"reference":[{"key":"5_CR1","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"},{"key":"5_CR2","unstructured":"Agha, G.A.: Actors: a model of concurrent computation in distributed systems (parallel processing, semantics, open, programming languages, artificial intelligence). Ph.D. thesis, University of Michigan, USA (1985). http:\/\/hdl.handle.net\/2027.42\/160629"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Agha, G.A.: ACTORS: A Model of Concurrent Computation in Distributed Systems. Series in Artificial Intelligence, The MIT Press, Cambridge (1986)","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"5_CR4","doi-asserted-by":"publisher","unstructured":"Akhter, A., Fragkoulis, M., Katsifodimos, A.: Stateful functions as a service in action. Proc. VLDB Endow. 12(12), 1890\u20131893 (2019). https:\/\/doi.org\/10.14778\/3352063.3352092. http:\/\/www.vldb.org\/pvldb\/vol12\/p1890-akhter.pdf","DOI":"10.14778\/3352063.3352092"},{"key":"5_CR5","doi-asserted-by":"publisher","unstructured":"Akidau, T., et al.: The dataflow model: a practical approach to balancing correctness, latency, and cost in massive-scale, unbounded, out-of-order data processing. Proc. VLDB Endow. 8(12), 1792\u20131803 (2015). https:\/\/doi.org\/10.14778\/2824032.2824076. http:\/\/www.vldb.org\/pvldb\/vol8\/p1792-Akidau.pdf","DOI":"10.14778\/2824032.2824076"},{"key":"5_CR6","unstructured":"Amazon Web Services: AWS Lambda (2023). https:\/\/aws.amazon.com\/lambda\/. Accessed 20 Mar 2023"},{"key":"5_CR7","unstructured":"Armstrong, J.: Erlang-a survey of the language and its industrial applications. In: Proceedings of the INAP, vol. 96, pp. 16\u201318 (1996)"},{"key":"5_CR8","unstructured":"Armstrong, J.: Making reliable distributed systems in the presence of software errors. Ph.D. thesis, KTH Royal Institute of Technology, Stockholm, Sweden (2003). https:\/\/nbn-resolving.org\/urn:nbn:se:kth:diva-3658"},{"key":"5_CR9","unstructured":"Armstrong, J., Virding, R., Williams, M.: Concurrent Programming in ERLANG. Prentice Hall, Hoboken (1993)"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"Baduel, L., et al.: Programming, composing, deploying for the grid. In: Cunha, J.C., Rana, O.F. (eds.) Grid Computing: Software Environments and Tools, pp. 205\u2013229. Springer, London (2006). https:\/\/doi.org\/10.1007\/1-84628-339-6_9","DOI":"10.1007\/1-84628-339-6_9"},{"key":"5_CR11","doi-asserted-by":"publisher","unstructured":"Bainomugisha, E., Carreton, A.L., Cutsem, T.V., Mostinckx, S., Meuter, W.D.: A survey on reactive programming. ACM Comput. Surv. 45(4), 52:1\u201352:34 (2013). https:\/\/doi.org\/10.1145\/2501654.2501666","DOI":"10.1145\/2501654.2501666"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-981-10-5026-8_1","volume-title":"Research Advances in Cloud Computing","author":"I Baldini","year":"2017","unstructured":"Baldini, I., et al.: Serverless computing: current trends and open problems. In: Chaudhary, S., Somani, G., Buyya, R. (eds.) Research Advances in Cloud Computing, pp. 1\u201320. Springer, Singapore (2017). https:\/\/doi.org\/10.1007\/978-981-10-5026-8_1"},{"key":"5_CR13","unstructured":"Bernstein, P., Bykov, S., Geller, A., Kliot, G., Thelin, J.: Orleans: distributed virtual actors for programmability and scalability. Technical report MSR-TR-2014-41 (2014). https:\/\/www.microsoft.com\/en-us\/research\/publication\/orleans-distributed-virtual-actors-for-programmability-and-scalability\/"},{"key":"5_CR14","doi-asserted-by":"publisher","unstructured":"de Boer, F.S., et al.: A survey of active object languages. ACM Comput. Surv. 50(5), 76:1\u201376:39 (2017). https:\/\/doi.org\/10.1145\/3122848","DOI":"10.1145\/3122848"},{"key":"5_CR15","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":"5_CR16","doi-asserted-by":"crossref","unstructured":"Burckhardt, S., et al.: Netherite: efficient execution of serverless workflows. Proc. VLDB Endow. 15(8), 1591\u20131604 (2022). https:\/\/www.vldb.org\/pvldb\/vol15\/p1591-burckhardt.pdf","DOI":"10.14778\/3529337.3529344"},{"key":"5_CR17","doi-asserted-by":"publisher","unstructured":"Burckhardt, S., Gillum, C., Justo, D., Kallas, K., McMahon, C., Meiklejohn, C.S.: Durable functions: semantics for stateful serverless. Proc. ACM Program. Lang. 5(OOPSLA), 1\u201327 (2021). https:\/\/doi.org\/10.1145\/3485510","DOI":"10.1145\/3485510"},{"key":"5_CR18","doi-asserted-by":"publisher","unstructured":"Bykov, S., Geller, A., Kliot, G., Larus, J.R., Pandya, R., Thelin, J.: Orleans: cloud computing for everyone. In: Chase, J.S., Abbadi, A.E. (eds.) ACM Symposium on Cloud Computing in Conjunction with SOSP 2011, SOCC \u201911, Cascais, Portugal, 26\u201328 October 2011, p. 16. ACM (2011). https:\/\/doi.org\/10.1145\/2038916.2038932","DOI":"10.1145\/2038916.2038932"},{"key":"5_CR19","doi-asserted-by":"publisher","unstructured":"Carbone, P., Ewen, S., F\u00f3ra, G., Haridi, S., Richter, S., Tzoumas, K.: State management in Apache Flink\u00ae: consistent stateful distributed stream processing. Proc. VLDB Endow. 10(12), 1718\u20131729 (2017). https:\/\/doi.org\/10.14778\/3137765.3137777. http:\/\/www.vldb.org\/pvldb\/vol10\/p1718-carbone.pdf","DOI":"10.14778\/3137765.3137777"},{"key":"5_CR20","unstructured":"Carbone, P., Katsifodimos, A., Ewen, S., Markl, V., Haridi, S., Tzoumas, K.: Apache Flink\u2122: stream and batch processing in a single engine. IEEE Data Eng. Bull. 38(4), 28\u201338 (2015). http:\/\/sites.computer.org\/debull\/A15dec\/p28.pdf"},{"key":"5_CR21","doi-asserted-by":"publisher","unstructured":"Caromel, D., Henrio, L., Serpette, B.P.: Asynchronous and deterministic objects. In: Jones, N.D., Leroy, X. (eds.) Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, 14\u201316 January 2004, pp. 123\u2013134. ACM (2004). https:\/\/doi.org\/10.1145\/964001.964012","DOI":"10.1145\/964001.964012"},{"key":"5_CR22","doi-asserted-by":"publisher","unstructured":"Castro, P.C., Ishakian, V., Muthusamy, V., Slominski, A.: The rise of serverless computing. Commun. ACM 62(12), 44\u201354 (2019). https:\/\/doi.org\/10.1145\/3368454","DOI":"10.1145\/3368454"},{"key":"5_CR23","doi-asserted-by":"publisher","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63\u201375 (1985). https:\/\/doi.org\/10.1145\/214451.214456","DOI":"10.1145\/214451.214456"},{"key":"5_CR24","doi-asserted-by":"publisher","unstructured":"Clebsch, S., Drossopoulou, S., Blessing, S., McNeil, A.: Deny capabilities for safe, fast actors. In: Boix, E.G., Haller, P., Ricci, A., Varela, C.A. (eds.) Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh, PA, USA, 26 October 2015, pp. 1\u201312. ACM (2015). https:\/\/doi.org\/10.1145\/2824815.2824816","DOI":"10.1145\/2824815.2824816"},{"key":"5_CR25","doi-asserted-by":"publisher","unstructured":"Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. Commun. ACM 51(1), 107\u2013113 (2008). https:\/\/doi.org\/10.1145\/1327452.1327492","DOI":"10.1145\/1327452.1327492"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-67425-4_12","volume-title":"Present and Ulterior Software Engineering","author":"N Dragoni","year":"2017","unstructured":"Dragoni, N.: Microservices: yesterday, today, and tomorrow. In: Present and Ulterior Software Engineering, pp. 195\u2013216. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67425-4_12"},{"key":"5_CR27","unstructured":"Eldeeb, T., Bernstein, P.: Transactions for distributed actors in the cloud. Technical report MSR-TR-2016-1001 (2016). https:\/\/www.microsoft.com\/en-us\/research\/publication\/transactions-distributed-actors-cloud-2\/"},{"key":"5_CR28","doi-asserted-by":"publisher","unstructured":"Elnozahy, E.N., Alvisi, L., Wang, Y., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv. 34(3), 375\u2013408 (2002). https:\/\/doi.org\/10.1145\/568522.568525","DOI":"10.1145\/568522.568525"},{"key":"5_CR29","unstructured":"The Apache Software Foundation: Apache Flink stateful functions (2023). https:\/\/nightlies.apache.org\/flink\/flink-statefun-docs-stable\/. Accessed 18 May 2023"},{"key":"5_CR30","doi-asserted-by":"publisher","unstructured":"Goldstein, J., et al.: A.M.B.R.O.S.I.A: providing performant virtual resiliency for distributed applications. Proc. VLDB Endow. 13(5), 588\u2013601 (2020). https:\/\/doi.org\/10.14778\/3377369.3377370. http:\/\/www.vldb.org\/pvldb\/vol13\/p588-goldstein.pdf","DOI":"10.14778\/3377369.3377370"},{"key":"5_CR31","unstructured":"Google Cloud: Google Cloud Functions (2023). https:\/\/cloud.google.com\/functions. Accessed 28 May 2023"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-40615-7_1","volume-title":"Formal Methods for Components and Objects","author":"R H\u00e4hnle","year":"2013","unstructured":"H\u00e4hnle, R.: The abstract behavioral specification language: a tutorial introduction. In: Giachino, E., H\u00e4hnle, R., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2012. LNCS, vol. 7866, pp. 1\u201337. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40615-7_1"},{"key":"5_CR33","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, 21\u201322 October 2012, Tucson, Arizona, USA, pp. 1\u20136. ACM (2012). https:\/\/doi.org\/10.1145\/2414639.2414641","DOI":"10.1145\/2414639.2414641"},{"key":"5_CR34","doi-asserted-by":"publisher","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","DOI":"10.1016\/j.tcs.2008.09.019"},{"key":"5_CR35","unstructured":"Helland, P.: Life beyond distributed transactions: an apostate\u2019s opinion. In: Third Biennial Conference on Innovative Data Systems Research, CIDR 2007, Asilomar, CA, USA, 7\u201310 January 2007, Online Proceedings, pp. 132\u2013141 (2007). http:\/\/www.cidrdb.org\/, http:\/\/cidrdb.org\/cidr2007\/papers\/cidr07p15.pdf"},{"key":"5_CR36","unstructured":"Hellerstein, J.M., et al.: Serverless computing: one step forward, two steps back. In: 9th Biennial Conference on Innovative Data Systems Research, CIDR 2019, Asilomar, CA, USA, 13\u201316, January 2019, Online Proceedings (2019). http:\/\/www.cidrdb.org\/, http:\/\/cidrdb.org\/cidr2019\/papers\/p119-hellerstein-cidr19.pdf"},{"key":"5_CR37","doi-asserted-by":"publisher","first-page":"102015","DOI":"10.1016\/j.is.2022.102015","volume":"108","author":"M de Heus","year":"2022","unstructured":"de Heus, M., Psarakis, K., Fragkoulis, M., Katsifodimos, A.: Transactions across serverless functions leveraging stateful dataflows. Inf. Syst. 108, 102015 (2022). https:\/\/doi.org\/10.1016\/j.is.2022.102015","journal-title":"Inf. Syst."},{"key":"5_CR38","unstructured":"Hewitt, C., Baker, H.G.: Laws for communicating parallel processes. In: Gilchrist, B. (ed.) Information Processing, Proceedings of the 7th IFIP Congress 1977, Toronto, Canada, 8\u201312 August 1977, pp. 987\u2013992. North-Holland (1977)"},{"key":"5_CR39","unstructured":"Hewitt, C., Bishop, P.B., Steiger, R.: A universal modular ACTOR formalism for artificial intelligence. In: Nilsson, N.J. (ed.) Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Stanford, CA, USA, 20\u201323 August 1973, pp. 235\u2013245. William Kaufmann (1973). http:\/\/ijcai.org\/Proceedings\/73\/Papers\/027B.pdf"},{"key":"5_CR40","unstructured":"IBM Corp.: IBM Cloud Functions (2020). https:\/\/cloud.ibm.com\/functions\/. Accessed 28 May 2023"},{"key":"5_CR41","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":"5_CR42","unstructured":"Jonas, E., et al.: Cloud programming simplified: A Berkeley view on serverless computing. CoRR abs\/1902.03383 (2019). http:\/\/arxiv.org\/abs\/1902.03383"},{"key":"5_CR43","doi-asserted-by":"publisher","unstructured":"Koster, J.D., Cutsem, T.V., Meuter, W.D.: 43 years of actors: a taxonomy of actor models and their key properties. In: Clebsch, S., Desell, T., Haller, P., Ricci, A. (eds.) Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2016, Amsterdam, The Netherlands, 30 October 2016, pp. 31\u201340. ACM (2016). https:\/\/doi.org\/10.1145\/3001886.3001890","DOI":"10.1145\/3001886.3001890"},{"key":"5_CR44","unstructured":"Kraft, P., Kazhamiaka, F., Bailis, P., Zaharia, M.: Data-parallel actors: a programming model for scalable query serving systems. In: Phanishayee, A., Sekar, V. (eds.) 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022, Renton, WA, USA, 4\u20136 April 2022, pp. 1059\u20131074. USENIX Association (2022). https:\/\/www.usenix.org\/conference\/nsdi22\/presentation\/kraft"},{"key":"5_CR45","unstructured":"Kreps, J., Narkhede, N., Rao, J.: Kafka: a distributed messaging system for log processing. In: Proceedings of the NetDB, vol. 11, pp. 1\u20137. Athens, Greece (2011)"},{"key":"5_CR46","unstructured":"Lightbend Inc: Akka (2022). https:\/\/akka.io\/. Accessed 07 July 2022"},{"key":"5_CR47","unstructured":"Lightbend Inc: Kalix (2023). https:\/\/www.kalix.io\/. Accessed 18 May 2023"},{"key":"5_CR48","doi-asserted-by":"publisher","unstructured":"Lin, J., Lee, M., Yu, I.C., Johnsen, E.B.: Modeling and simulation of Spark Streaming. In: Barolli, L., Takizawa, M., Enokido, T., Ogiela, M.R., Ogiela, L., Javaid, N. (eds.) 32nd IEEE International Conference on Advanced Information Networking and Applications, AINA 2018, Krakow, Poland, 16\u201318 May 2018, pp. 407\u2013413. IEEE Computer Society (2018). https:\/\/doi.org\/10.1109\/AINA.2018.00068","DOI":"10.1109\/AINA.2018.00068"},{"key":"5_CR49","doi-asserted-by":"publisher","unstructured":"Mampage, A., Karunasekera, S., Buyya, R.: A holistic view on resource management in serverless computing environments: taxonomy and future directions. ACM Comput. Surv. 54(11s), 222:1\u2013222:36 (2022). https:\/\/doi.org\/10.1145\/3510412","DOI":"10.1145\/3510412"},{"key":"5_CR50","doi-asserted-by":"publisher","unstructured":"McCune, R.R., Weninger, T., Madey, G.: Thinking like a vertex: a survey of vertex-centric frameworks for large-scale distributed graph processing. ACM Comput. Surv. 48(2), 25:1\u201325:39 (2015). https:\/\/doi.org\/10.1145\/2818185","DOI":"10.1145\/2818185"},{"key":"5_CR51","unstructured":"Microsoft: Azure Functions (2023). https:\/\/azure.microsoft.com\/en-us\/products\/functions. Accessed 28 May 2023"},{"key":"5_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-662-44202-9_13","volume-title":"ECOOP 2014 \u2013 Object-Oriented Programming","author":"H Miller","year":"2014","unstructured":"Miller, H., Haller, P., Odersky, M.: Spores: a type-based foundation for closures in the age of concurrency and distribution. In: Jones, R. (ed.) ECOOP 2014. LNCS, vol. 8586, pp. 308\u2013333. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44202-9_13"},{"key":"5_CR53","unstructured":"Moritz, P., et al.: Ray: a distributed framework for emerging AI applications. In: Arpaci-Dusseau, A.C., Voelker, G. (eds.) 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, 8\u201310 October 2018, pp. 561\u2013577. USENIX Association (2018). https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/nishihara"},{"key":"5_CR54","doi-asserted-by":"publisher","unstructured":"Murray, D.G., McSherry, F., Isaacs, R., Isard, M., Barham, P., Abadi, M.: Naiad: a timely dataflow system. In: Kaminsky, M., Dahlin, M. (eds.) ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP \u201913, Farmington, PA, USA, 3\u20136 November 2013, pp. 439\u2013455. ACM (2013). https:\/\/doi.org\/10.1145\/2517349.2522738","DOI":"10.1145\/2517349.2522738"},{"key":"5_CR55","doi-asserted-by":"publisher","unstructured":"Pons, D.B., Sutra, P., Artigas, M.S., Par\u00eds, G., L\u00f3pez, P.G.: Stateful serverless computing with Crucial. ACM Trans. Softw. Eng. Methodol. 31(3), 39:1\u201339:38 (2022). https:\/\/doi.org\/10.1145\/3490386","DOI":"10.1145\/3490386"},{"key":"5_CR56","doi-asserted-by":"publisher","unstructured":"Psarakis, K., Zorgdrager, W., Fragkoulis, M., Salvaneschi, G., Katsifodimos, A.: Stateful entities: object-oriented cloud applications as distributed dataflows. In: Tanca, L., Luo, Q., Polese, G., Caruccio, L., Oriol, X., Firmani, D. (eds.) Proceedings 27th International Conference on Extending Database Technology, EDBT 2024, Paestum, Italy, March 25\u2013March 28, pp. 15\u201321. OpenProceedings.org (2024). https:\/\/doi.org\/10.48786\/edbt.2024.02","DOI":"10.48786\/edbt.2024.02"},{"key":"5_CR57","doi-asserted-by":"publisher","unstructured":"Sang, B., Petri, G., Ardekani, M.S., Ravi, S., Eugster, P.: Programming scalable cloud services with AEON. In: Proceedings of the 17th International Middleware Conference, Trento, Italy, 12\u201316 December 2016, p. 16. ACM (2016). https:\/\/doi.org\/10.1145\/2988336.2988352","DOI":"10.1145\/2988336.2988352"},{"key":"5_CR58","doi-asserted-by":"publisher","unstructured":"Sang, B., Roman, P., Eugster, P., Lu, H., Ravi, S., Petri, G.: PLASMA: programmable elasticity for stateful cloud computing applications. In: Bilas, A., Magoutis, K., Markatos, E.P., Kostic, D., Seltzer, M.I. (eds.) EuroSys \u201920: Fifteenth EuroSys Conference 2020, Heraklion, Greece, 27\u201330 April 2020, pp. 42:1\u201342:15. ACM (2020). https:\/\/doi.org\/10.1145\/3342195.3387553","DOI":"10.1145\/3342195.3387553"},{"key":"5_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-14107-2_13","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"J Sch\u00e4fer","year":"2010","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: JCoBox: generalizing active objects to concurrent components. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 275\u2013299. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14107-2_13"},{"key":"5_CR60","doi-asserted-by":"publisher","unstructured":"Sirjani, M., de Boer, F.S., Movaghar-Rahimabadi, A.: Modular verification of a component-based actor language. J. Univers. Comput. Sci. 11(10), 1695\u20131717 (2005). https:\/\/doi.org\/10.3217\/jucs-011-10-1695","DOI":"10.3217\/jucs-011-10-1695"},{"key":"5_CR61","doi-asserted-by":"publisher","unstructured":"Spenger, J., Carbone, P., Haller, P.: Portals: an extension of dataflow streaming for stateful serverless. In: Scholliers, C., Singer, J. (eds.) Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, 8\u201310 December 2022, pp. 153\u2013171. ACM (2022). https:\/\/doi.org\/10.1145\/3563835.3567664","DOI":"10.1145\/3563835.3567664"},{"key":"5_CR62","doi-asserted-by":"crossref","unstructured":"Sreekanti, V., et al.: Cloudburst: stateful functions-as-a-service. Proc. VLDB Endow. 13(11), 2438\u20132452 (2020). http:\/\/www.vldb.org\/pvldb\/vol13\/p2438-sreekanti.pdf","DOI":"10.14778\/3407790.3407836"},{"key":"5_CR63","doi-asserted-by":"publisher","unstructured":"Tardieu, O., Grove, D., Bercea, G., Castro, P., Cwiklik, J., Epstein, E.A.: Reliable actors with retry orchestration. Proc. ACM Program. Lang. 7(PLDI), 1293\u20131316 (2023). https:\/\/doi.org\/10.1145\/3591273","DOI":"10.1145\/3591273"},{"key":"5_CR64","doi-asserted-by":"publisher","unstructured":"Turin, G., Borgarelli, A., Donetti, S., Damiani, F., Johnsen, E.B., Tarifa, S.L.T.: Predicting resource consumption of Kubernetes container systems using resource models. J. Syst. Softw. 203, 111750 (2023). https:\/\/doi.org\/10.1016\/j.jss.2023.111750","DOI":"10.1016\/j.jss.2023.111750"},{"key":"5_CR65","doi-asserted-by":"publisher","unstructured":"Yonezawa, A., Briot, J., Shibayama, E.: Object-oriented concurrent programming in ABCL\/1. In: Meyrowitz, N.K. (ed.) Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1986, Portland, Oregon, USA, Proceedings, pp. 258\u2013268. ACM (1986). https:\/\/doi.org\/10.1145\/28697.28722","DOI":"10.1145\/28697.28722"},{"key":"5_CR66","unstructured":"Zaharia, M., et al.: Resilient distributed datasets: a fault-tolerant abstraction for in-memory cluster computing. In: Gribble, S.D., Katabi, D. (eds.) Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2012, San Jose, CA, USA, 25\u201327 April 2012, pp. 15\u201328. USENIX Association (2012). https:\/\/www.usenix.org\/conference\/nsdi12\/technical-sessions\/presentation\/zaharia"},{"key":"5_CR67","unstructured":"Zhang, H., Cardoza, A., Chen, P.B., Angel, S., Liu, V.: Fault-tolerant and transactional stateful serverless workflows. In: 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, 4\u20136 November 2020, pp. 1187\u20131204. USENIX Association (2020). https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/zhang-haoran"}],"container-title":["Lecture Notes in Computer Science","Active Object Languages: Current Research Trends"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-51060-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T14:03:04Z","timestamp":1718373784000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-51060-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031510595","9783031510601"],"references-count":67,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-51060-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}