{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:45:53Z","timestamp":1743057953360,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395180"},{"type":"electronic","value":"9783319395197"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39519-7_13","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T13:18:53Z","timestamp":1464095933000},"page":"208-226","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["From Modelling to Systematic Deployment of Distributed Active Objects"],"prefix":"10.1007","author":[{"given":"Ludovic","family":"Henrio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justine","family":"Rochas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-16042-6_2","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"G Agha","year":"1985","unstructured":"Agha, G., Hewitt, C.: Concurrent programming using actors: exploiting large-scale parallelism. In: Maheshwari, S.N. (ed.) Foundations of Software Technology and Theoretical Computer Science. LNCS, vol. 206, pp. 19\u201341. Springer, In Foundations of Software Technology and Theoretical Computer Science (1985)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1007\/978-3-642-54862-8_46","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Albert","year":"2014","unstructured":"Albert, E., Arenas, P., Flores-Montoya, A., Genaim, S., G\u00f3mez-Zamalloa, M., Martin-Martin, E., Puebla, G., Rom\u00e1n-D\u00edez, G.: SACO: static analyzer for concurrent objects. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 562\u2013567. Springer, Heidelberg (2014)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/978-3-662-49192-8_35","volume-title":"SOFSEM 2016: Theory and Practice of Computer Science","author":"N Bezirgiannis","year":"2016","unstructured":"Bezirgiannis, N., de Boer, F.: ABS: a high-level modeling language for cloud-aware programming. In: Freivalds, R.M., Engels, G., Catania, B. (eds.) SOFSEM 2016: Theory and Practice of Computer Science. LNCS, vol. 9587, pp. 433\u2013444. Springer, Heidelberg (2016)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-71316-6_22","volume-title":"Programming Languages and Systems","author":"FS de Boer","year":"2007","unstructured":"de Boer, F.S., Clarke, D., Johnsen, E.B.: A complete guide to the future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 316\u2013330. Springer, Heidelberg (2007)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","first-page":"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.) Formal Methods for Multicore Programming. LNCS, vol. 9104, pp. 1\u201356. Springer, Heidelberg (2015)"},{"key":"13_CR6","volume-title":"A Theory of Distributed Objects: Asynchrony \u2014 Mobility \u2014 Groups \u2014 Components","author":"D Caromel","year":"2005","unstructured":"Caromel, D., Henrio, L.: A Theory of Distributed Objects: Asynchrony \u2014 Mobility \u2014 Groups \u2014 Components. Springer, Heidelberg (2005)"},{"key":"13_CR7","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)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/978-3-319-21401-6_35","volume-title":"Automated Deduction - CADE-25","author":"CC Din","year":"2015","unstructured":"Din, C.C., Bubel, R., H\u00e4hnle, R.: KeY-ABS: a deductive verification tool for the concurrent modelling language ABS. In: Felty, A.P., Middeldorp, A. (eds.) Automated Deduction - CADE-25. LNCS, vol. 9195, pp. 517\u2013526. Springer, Heidelberg (2015)"},{"doi-asserted-by":"crossref","unstructured":"Flanagan, C., Felleisen, M.: The semantics of future and its use in program optimization. In: POPL 1995. ACM (1995)","key":"13_CR9","DOI":"10.1145\/199448.199484"},{"issue":"4","key":"13_CR10","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1007\/s10270-014-0444-y","volume":"15","author":"Elena Giachino","year":"2015","unstructured":"Giachino, E., Laneve, C., Lienhardt, M.: A framework for deadlock detection in ABS. J. Softw. Syst. Model. (2014). doi:\n                    10.1007\/s10270-014-0444-y\n                    \n                  , \n                    https:\/\/hal.inria.fr\/hal-01229046\/file\/longDF4ABS.pdf","journal-title":"Software & Systems Modeling"},{"issue":"2\u20133","key":"13_CR11","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)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-642-38493-6_7","volume-title":"Coordination Models and Languages","author":"L Henrio","year":"2013","unstructured":"Henrio, L., Huet, F., Istv\u00e1n, Z.: Multi-threaded active objects. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 90\u2013104. Springer, Heidelberg (2013)"},{"doi-asserted-by":"crossref","unstructured":"Henrio, L., Rochas, J.: Declarative scheduling for active objects. In: SAC 2014. ACM (2014)","key":"13_CR13","DOI":"10.1145\/2554850.2554957"},{"doi-asserted-by":"crossref","unstructured":"Henrio, L., Rochas, J.: From Modelling to Systematic Deployment of Distributed Active Objects - Extended Version. Research report I3S, April 2016","key":"13_CR14","DOI":"10.1007\/978-3-319-39519-7_13"},{"key":"13_CR15","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)"},{"issue":"1\u20132","key":"13_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"EB Johnsen","year":"2006","unstructured":"Johnsen, E.B., Owe, O., Yu, I.C.: Creol: a type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci. 365(1\u20132), 23\u201366 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"13_CR17","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.jlamp.2014.07.001","volume":"84","author":"EB Johnsen","year":"2015","unstructured":"Johnsen, E.B., Schlatte, R., Tarifa, S.L.T.: Integrating deployment architectures and resource consumption in timed object-oriented model. J. Log. Algebraic Methods Program. 84(1), 67\u201391 (2015)","journal-title":"J. Log. Algebraic Methods Program."},{"unstructured":"Lavender, R.G., Schmidt, D.C.: Active object: an object behavioral pattern for concurrent programming. In: Pattern Languages of Program Design, vol. 2 (1996)","key":"13_CR18"},{"unstructured":"Rochas, J., Henrio, L.: A ProActive Backend for ABS: from Modelling to Deployment. Research Report RR-8596, September 2014","key":"13_CR19"},{"key":"13_CR20","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)"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1002\/cpe.3480","volume":"28","author":"V Serbanescu","year":"2016","unstructured":"Serbanescu, V., Azadbakht, K., de Boer, F., Nagarajagowda, C., Nobakht, B.: A design pattern for optimizations in data intensive applications using ABS and JAVA 8. Pract. Exp. Concurrency Comput. 28, 374\u2013385 (2016)","journal-title":"Pract. Exp. Concurrency Comput."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39519-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T00:08:31Z","timestamp":1590192511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39519-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395180","9783319395197"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39519-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}