{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:19:58Z","timestamp":1742944798840,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319134635"},{"type":"electronic","value":"9783319134642"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-13464-2_8","type":"book-chapter","created":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T20:09:58Z","timestamp":1417464598000},"page":"103-112","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8"],"prefix":"10.1007","author":[{"given":"Vlad","family":"Serbanescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chetan","family":"Nagarajagowda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keyvan","family":"Azadbakht","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"de Boer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behrooz","family":"Nobakht","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,26]]},"reference":[{"key":"8_CR1","volume-title":"Concurrent Programming in Erlang","author":"J Armstrong","year":"1993","unstructured":"Armstrong, J., Virding, R., Wikstr\u00f6m, C., Williams, M.: Concurrent Programming in Erlang. Morgan Kaufmann, San Francisco (1993)"},{"key":"8_CR2","volume-title":"The Way to Go: A Thorough Introduction to the Go Programming Language","author":"I Balbaert","year":"2012","unstructured":"Balbaert, I.: The Way to Go: A Thorough Introduction to the Go Programming Language. IUniverse, Bloomington (2012)"},{"issue":"4","key":"8_CR3","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.1987.1663535","volume":"20","author":"SH Bokhari","year":"1987","unstructured":"Bokhari, S.H.: Multiprocessing the sieve of Eratosthenes. Computer 20(4), 50\u201358 (1987)","journal-title":"Computer"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Cheong, E., Lee, E.A., Zhao, Y.: Viptos: a graphical development and simulation environment for TinyOS-based wireless sensor networks. In: SenSys, vol. 5, pp. 302\u2013302 (2005)","DOI":"10.1145\/1098918.1098967"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Geoffray, N., Thomas, G., Folliot, B., Cl\u00e9ment, C.: Towards a new isolation abstraction for OSGi. In: Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, pp. 41\u201345. ACM (2008)","DOI":"10.1145\/1435458.1435466"},{"key":"8_CR6","volume-title":"Using MPI: Portable Parallel Programming with the Message-passing Interface","author":"W Gropp","year":"1999","unstructured":"Gropp, W., Lusk, E., Skjellum, A.: Using MPI: Portable Parallel Programming with the Message-passing Interface, vol. 1. MIT press, Cambridge (1999)"},{"key":"8_CR7","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. 1\u20136. ACM (2012)","DOI":"10.1145\/2414639.2414641"},{"issue":"2","key":"8_CR8","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), 202\u2013220 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR9","unstructured":"Hewitt, C.: Procedural embedding of knowledge in planner. In: IJCAI, pp. 167\u2013184 (1971)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Imam, S.M., Sarkar, V.: Integrating task parallelism with actors. In: ACM SIGPLAN Notices, vol. 47, pp. 753\u2013772. ACM (2012)","DOI":"10.1145\/2398857.2384671"},{"key":"8_CR11","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.) Formal Methods for Components and Objects. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011)"},{"key":"8_CR12","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. ACM (2009)","DOI":"10.1145\/1596655.1596658"},{"key":"8_CR13","unstructured":"https:\/\/surfsara.nl\/"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.jpdc.2010.08.004","volume":"71","author":"B Nicolae","year":"2011","unstructured":"Nicolae, B., Antoniu, G., Boug\u00e9, L., Moise, D., Carpen-Amarie, A.: Blobseer: next-generation data management for large scale infrastructures. J. Parallel Distrib. Comput. 71, 169\u2013184 (2011). http:\/\/dx.doi.org\/10.1016\/j.jpdc.2010.08.004","journal-title":"J. Parallel Distrib. Comput."},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-662-45231-8_4","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"B Nobakht","year":"2014","unstructured":"Nobakht, B., de Boer, F.S.: Programming with actors in Java\u00a08. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol. 8803, pp. 37\u201353. Springer, Heidelberg (2014)"},{"issue":"01","key":"8_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1017\/S0956796808007004","volume":"19","author":"ME O\u2019Neill","year":"2009","unstructured":"O\u2019Neill, M.E.: The genuine sieve of Eratosthenes. J. Funct. Program. 19(01), 95\u2013106 (2009)","journal-title":"J. Funct. Program."},{"issue":"5","key":"8_CR17","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/MIC.2012.105","volume":"16","author":"G Pierre","year":"2012","unstructured":"Pierre, G., Stratan, C.: ConPaaS: a platform for hosting elastic cloud applications. IEEE Internet Comput. 16(5), 88\u201392 (2012)","journal-title":"IEEE Internet Comput."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Pop, F., Dobre, C., Cristea, V.: Evaluation of multi-objective decentralized scheduling for applications in grid environment. In: Proceedings of 2008 IEEE 4th International Conference on Intelligent Computer Communication and Processing, pp. 231\u2013238. IEEE Computer Society, Cluj-Napoca, Romania (2008). ISBN: 978-1-4244-2673-7","DOI":"10.1109\/ICCP.2008.4648377"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Serbanescu, V.N., Pop, F., Cristea, V., Achim, O.M.: Web services allocation guided by reputation in distributed SOA-based environments. In: 2012 11th International Symposium on Parallel and Distributed Computing (ISPDC), pp. 127\u2013134. IEEE (2012)","DOI":"10.1109\/ISPDC.2012.25"},{"key":"8_CR20","unstructured":"Sieve, F.: http:\/\/primesieve.org"},{"key":"8_CR21","unstructured":"Tasharofi, S.: Efficient testing of actor programs with non-deterministic behaviors. Ph.D. thesis, University of Illinois at Urbana-Champaign (2014)"},{"key":"8_CR22","unstructured":"http:\/\/heuristic-fencepost.blogspot.nl\/2012\/02\/ruby-and-concurrency-maintaining-purity.html"},{"key":"8_CR23","unstructured":"http:\/\/absurdfarce.github.io\/blog\/2012\/01\/05\/ruby-and-concurrency-design-with-actorsandakka\/"}],"container-title":["Lecture Notes in Computer Science","Adaptive Resource Management and Scheduling for Cloud Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13464-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T19:06:14Z","timestamp":1676660774000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-13464-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319134635","9783319134642"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13464-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"26 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}