{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:35:43Z","timestamp":1770273343503,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642390371","type":"print"},{"value":"9783642390388","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-39038-8_13","type":"book-chapter","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T14:29:00Z","timestamp":1372170540000},"page":"302-326","source":"Crossref","is-referenced-by-count":49,"title":["Why Do Scala Developers Mix the Actor Model with other Concurrency Models?"],"prefix":"10.1007","author":[{"given":"Samira","family":"Tasharofi","sequence":"first","affiliation":[]},{"given":"Peter","family":"Dinges","sequence":"additional","affiliation":[]},{"given":"Ralph E.","family":"Johnson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","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)"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G.A. Agha","year":"1997","unstructured":"Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program.\u00a07(1), 1\u201372 (1997)","journal-title":"J. Funct. Program."},{"key":"13_CR3","unstructured":"Armstrong, J.: Making reliable distributed systems in the presence of software errors. PhD thesis, Kungl Tekniska H\u00f6gskolan (2003), http:\/\/www.erlang.org"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Atkinson, R., Hewitt, C.: Synchronization in actor systems. In: Proc. of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1977, pp. 267\u2013280 (1977)","DOI":"10.1145\/512950.512975"},{"key":"13_CR5","unstructured":"Bon\u00e9r, J., Klang, V., Kuhn, R., et al.: Akka library, http:\/\/akka.io"},{"key":"13_CR6","unstructured":"Bradbury, J.S., Jalbert, K.: Defining a catalog of programming anti-patterns for concurrent Java. In: Proc. of the 3rd International Workshop on Software Patterns and Quality, SPAQu 2009, pp. 6\u201311 (October 2009)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Bykov, S., Geller, A., Kliot, G., Larus, J.R., Pandya, R., Thelin, J.: Orleans: cloud computing for everyone. In: Proc. of the 2nd ACM Symposium on Cloud Computing, SOCC 2011, pp. 16:1\u201316:14 (2011)","DOI":"10.1145\/2038916.2038932"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Dedecker, J., Van Cutsem, T., Mostinckx, S., D\u2019Hondt, T., De Meuter, W.: Ambient-oriented programming. In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, pp. 31\u201340 (2005)","DOI":"10.1145\/1094855.1094867"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-30829-1_7","volume-title":"Coordination Models and Languages","author":"P. Dinges","year":"2012","unstructured":"Dinges, P., Agha, G.: Scoped synchronization constraints for large scale actor systems. In: Sirjani, M. (ed.) COORDINATION 2012. LNCS, vol.\u00a07274, pp. 89\u2013103. Springer, Heidelberg (2012)"},{"key":"13_CR10","unstructured":"Dolby, J., Fink, S.J., Sridharan, M.: T.\u00a0J.\u00a0Watson libraries for analysis (WALA), http:\/\/wala.sf.net"},{"key":"13_CR11","unstructured":"Haller, P., Sommers, F.: Actors in Scala. Artima Series (2012)"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-540-68265-3_9","volume-title":"Coordination Models and Languages","author":"P. Haller","year":"2008","unstructured":"Haller, P., Van Cutsem, T.: Implementing joins using extensible pattern matching. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 135\u2013152. Springer, Heidelberg (2008)"},{"key":"13_CR13","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: Proc. of the 3rd International Joint Conference on Artificial Intelligence, IJCAI 1973, pp. 235\u2013245 (1973)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Hochstein, L., Shull, F., Reid, L.B.: The role of MPI in development time: a case study. In: Proc. of the 2008 ACM\/IEEE Conference on Supercomputing, SC 2008, pp. 34:1\u201334:10 (2008)","DOI":"10.1109\/SC.2008.5213771"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Imam, S.M., Sarkar, V.: Integrating task parallelism with actors. In: Proc. of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2012, pp. 753\u2013772 (2012)","DOI":"10.1145\/2384616.2384671"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Karmani, R.K., Shali, A., Agha, G.: Actor frameworks for the JVM platform: a comparative analysis. In: Proc. of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, pp. 11\u201320 (2009)","DOI":"10.1145\/1596655.1596658"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Lauterburg, S., Dotta, M., Marinov, D., Agha, G.: A framework for state-space exploration of Java-based actor programs. In: Proc. of the 2009 IEEE\/ACM International Conference on Automated Software Engineering, ASE 2009, pp. 468\u2013479 (2009)","DOI":"10.1109\/ASE.2009.88"},{"issue":"3","key":"13_CR18","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/1353536.1346323","volume":"43","author":"S. Lu","year":"2008","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. SIGPLAN Not.\u00a043(3), 329\u2013339 (2008)","journal-title":"SIGPLAN Not."},{"key":"13_CR19","unstructured":"Luff, M.: Empirically investigating parallel programming paradigms: A null result. In: PLATEAU at the ACM Onward! Conference (2009)"},{"key":"13_CR20","unstructured":"Mattson, T., Sanders, B., Massingill, B.: Patterns for parallel programming, 1st edn. Addison-Wesley Professional (2004)"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Nanz, S., Torshizi, F., Pedroni, M., Meyer, B.: Design of an empirical study for comparing the usability of concurrent programming languages. In: Proc. of the 2011 International Symposium on Empirical Software Engineering and Measurement, ESEM 2011, pp. 325\u2013334 (2011)","DOI":"10.1109\/ESEM.2011.41"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Negara, S., Karmani, R.K., Agha, G.: Inferring ownership transfer for efficient message passing. In: Proc. of the 16th ACM Symposium on Principles and Practice of Parallel Programming, PPoPP 2011, pp. 81\u201390 (2011)","DOI":"10.1145\/1941553.1941566"},{"key":"13_CR23","unstructured":"Odersky, M., Spoon, L., Venners, B.: Programming in Scala, 2\/e. Artima Series. Artima Press (2010)"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Okur, S., Dig, D.: How do developers use parallel libraries? In: Proc. of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012, pp. 54:1\u201354:11 (2012)","DOI":"10.1145\/2393596.2393660"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Pankratius, V., Schmidt, F., Garret\u00f3n, G.: Combining functional and imperative programming for multicore software: an empirical study evaluating Scala and Java. In: Proc. of the 2012 International Conference on Software Engineering, ICSE 2012, pp. 123\u2013133 (2012)","DOI":"10.1109\/ICSE.2012.6227200"},{"key":"13_CR26","unstructured":"Pech, V., K\u00f6nig, D., Winder, R., et al.: GPars, http:\/\/gpars.codehaus.org\/"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Proen\u00e7a, J., Clarke, D., de Vink, E., Arbab, F.: Dreams: a framework for distributed synchronous coordination. In: Proc. of the 27th Annual ACM Symposium on Applied Computing, SAC 2012, pp. 1510\u20131515 (2012)","DOI":"10.1145\/2245276.2232017"},{"key":"13_CR28","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.\u00a06183, pp. 275\u2013299. Springer, Heidelberg (2010)"},{"key":"13_CR29","unstructured":"Scholliers, C., Tanter, E., Meuter, W.D.: Parallel actor monitors. In: 14th Brazilian Symposium on Programming Languages (2010)"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-24933-4_3","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"M. Sirjani","year":"2011","unstructured":"Sirjani, M., Jaghoori, M.M.: Ten years of analyzing actors: Rebeca experience. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol.\u00a07000, pp. 20\u201356. Springer, Heidelberg (2011)"},{"issue":"1","key":"13_CR31","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1967021.1967023","volume":"8","author":"M. Song","year":"2011","unstructured":"Song, M., Ren, S.: Coordination operators and their composition under the actor-role-coordinator (ARC) model. SIGBED Rev.\u00a08(1), 14\u201321 (2011)","journal-title":"SIGBED Rev."},{"key":"13_CR32","unstructured":"Tasharofi, S., Gligoric, M., Marinov, D., Johnson, R.: Setac: A framework for phased deterministic testing of Scala actor programs. In: The Second Scala Workshop (2011)"},{"key":"13_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-30793-5_14","volume-title":"Formal Techniques for Distributed Systems","author":"S. Tasharofi","year":"2012","unstructured":"Tasharofi, S., Karmani, R.K., Lauterburg, S., Legay, A., Marinov, D., Agha, G.: TransDPOR: A novel dynamic partial-order reduction technique for testing actor programs. In: Giese, H., Rosu, G. (eds.) FMOODS\/FORTE 2012. LNCS, vol.\u00a07273, pp. 219\u2013234. Springer, Heidelberg (2012)"},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"Torres, W., Pinto, G., Fernandes, B., Oliveira, J.A.P., Ximenes, F.A., Castor, F.: Are Java programmers transitioning to multicore?: a large scale study of Java FLOSS. In: SPLASH Workshops, SPLASH 2011 Workshops, pp. 123\u2013128 (2011)","DOI":"10.1145\/2095050.2095072"},{"key":"13_CR35","volume-title":"ABCL: an object-oriented concurrent system","year":"1990","unstructured":"Yonezawa, A. (ed.): ABCL: an object-oriented concurrent system. MIT Press, Cambridge (1990)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2013 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39038-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,2]],"date-time":"2023-07-02T16:00:52Z","timestamp":1688313652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39038-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390371","9783642390388"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39038-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}