{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T19:57:51Z","timestamp":1760731071041,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319924076"},{"type":"electronic","value":"9783319924083"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92408-3_7","type":"book-chapter","created":{"date-parts":[[2018,5,26]],"date-time":"2018-05-26T17:08:42Z","timestamp":1527354522000},"page":"162-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Forward to a Promising Future"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8654-118X","authenticated-orcid":false,"given":"Kiko","family":"Fernandez-Reyes","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1970-6607","authenticated-orcid":false,"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4918-6582","authenticated-orcid":false,"given":"Elias","family":"Castegren","sequence":"additional","affiliation":[]},{"given":"Huu-Phuc","family":"Vo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"issue":"5","key":"7_CR1","doi-asserted-by":"publisher","first-page":"76:1","DOI":"10.1145\/3122848","volume":"50","author":"F De Boer","year":"2017","unstructured":"De Boer, F., Serbanescu, V., H\u00e4hnle, R., Henrio, L., Rochas, J., Din, C.C., Johnsen, E.B., Sirjani, M., Khamespanah, E., Fernandez-Reyes, K., Yang, A.M.: A survey of active object languages. ACM Comput. Surv. 50(5), 76:1\u201376:39 (2017)","journal-title":"ACM Comput. Surv."},{"key":"7_CR2","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., Castegren, E., Clarke, D., Fernandez-Reyes, K., Johnsen, E.B., Pun, K.I., Tarifa, S.L.T., Wrigstad, T., Yang, A.M.: 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":"7_CR3","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":"7_CR4","doi-asserted-by":"crossref","unstructured":"Liskov, B., Shrira, L.: Promises: linguistic support for efficient asynchronous procedure calls in distributed systems. In: Wexelblat, R.L. (eds.) Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, 22\u201324 June 1988, pp. 260\u2013267. ACM (1988)","DOI":"10.1145\/960116.54016"},{"issue":"7","key":"7_CR5","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1016\/j.jlap.2009.01.001","volume":"78","author":"E \u00c1brah\u00e1m","year":"2009","unstructured":"\u00c1brah\u00e1m, E., Grabe, I., Gr\u00fcner, A., Steffen, M.: Behavioral interface description of an object-oriented language with futures and promises. J. Log. Algebr. Program. 78(7), 491\u2013518 (2009)","journal-title":"J. Log. Algebr. Program."},{"issue":"3","key":"7_CR6","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/j.tcs.2006.08.016","volume":"364","author":"J Niehren","year":"2006","unstructured":"Niehren, J., Schwinghammer, J., Smolka, G.: A concurrent lambda calculus with futures. Theor. Comput. Sci. 364(3), 338\u2013356 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-642-11512-7_12","volume-title":"Concurrency, Compositionality, and Correctness","author":"D Clarke","year":"2010","unstructured":"Clarke, D., Johnsen, E.B., Owe, O.: Concurrent objects \u00e0 la carte. In: Dams, D., Hannemann, U., Steffen, M. (eds.) Concurrency, Compositionality, and Correctness. LNCS, vol. 5930, pp. 185\u2013206. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11512-7_12"},{"issue":"1","key":"7_CR8","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"AK Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Inf. Comput. 115(1), 38\u201394 (1994)","journal-title":"Inf. Comput."},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-319-39519-7_7","volume-title":"Coordination Models and Languages","author":"K Fernandez-Reyes","year":"2016","unstructured":"Fernandez-Reyes, K., Clarke, D., McCain, D.S.: ParT: an asynchronous parallel abstraction for speculative pipeline computations. In: Lluch Lafuente, A., Proen\u00e7a, J. (eds.) COORDINATION 2016. LNCS, vol. 9686, pp. 101\u2013120. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39519-7_7"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Clebsch, S., Drossopoulou, S.: Fully concurrent garbage collection of actors on many-core machines. In: Hosking, A.L., Eugster, P.T., Lopes, C.V. (eds.) Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, Part of SPLASH 2013, Indianapolis, IN, USA, 26\u201331 October 2013, pp. 553\u2013570. ACM (2013)","DOI":"10.1145\/2509136.2509557"},{"key":"7_CR11","volume-title":"Advanced Topics in Bisimulation and Coinduction","author":"D Pous","year":"2012","unstructured":"Pous, D., Sangiorgi, D.: Enhancements of the bisimulation proof method. In: Sangiorgi, D., Rutten, J. (eds.) Advanced Topics in Bisimulation and Coinduction. Cambridge University Press, Cambridge (2012)"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/872736.806932","volume":"64","author":"HG Baker","year":"1977","unstructured":"Baker, H.G., Hewitt, C.: The incremental garbage collection of processes. SIGART Newsl. 64, 55\u201359 (1977)","journal-title":"SIGART Newsl."},{"issue":"4","key":"7_CR13","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"RH Halstead Jr","year":"1985","unstructured":"Halstead Jr., R.H.: Multilisp: a language for concurrent symbolic computation. ACM Trans. Program. Lang. Syst. 7(4), 501\u2013538 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1\u20132","key":"7_CR14","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":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/j.ic.2008.12.004","volume":"207","author":"D Caromel","year":"2009","unstructured":"Caromel, D., Henrio, L., Serpette, B.P.: Asynchronous sequential processes. Inf. Comput. 207(4), 459\u2013495 (2009)","journal-title":"Inf. Comput."},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.12921\/cmst.2006.12.01.69-77","volume":"12","author":"D Caromel","year":"2006","unstructured":"Caromel, D., Delbe, C., Di Costanzo, A., Leyton, M.: ProActive: an integrated platform for programming and running applications on grids and P2P systems. Comput. Methods Sci. Technol. 12(1), 69\u201377 (2006)","journal-title":"Comput. Methods Sci. Technol."},{"issue":"4","key":"7_CR17","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10817-009-9155-4","volume":"43","author":"X Leroy","year":"2009","unstructured":"Leroy, X.: A formally verified compiler back-end. J. Autom. Reason. 43(4), 363\u2013446 (2009)","journal-title":"J. Autom. Reason."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Leroy, X.: Formal certification of a compiler back-end or: programming a compiler with a proof assistant. In: Gregory Morrisett, J., Peyton Jones, S.L. (eds.) Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, 11\u201313 January 2006, pp. 42\u201354. ACM (2006)","DOI":"10.1145\/1111320.1111042"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/978-3-642-11957-6_23","volume-title":"Programming Languages and Systems","author":"A Lochbihler","year":"2010","unstructured":"Lochbihler, A.: Verifying a compiler for Java threads. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol. 6012, pp. 427\u2013447. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11957-6_23"},{"issue":"6","key":"7_CR20","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1273442.1250742","volume":"42","author":"Adam Chlipala","year":"2007","unstructured":"Chlipala, A.: A certified type-preserving compiler from lambda calculus to assembly language. In: Ferrante, J., McKinley, K.S. (eds.) Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, 10\u201313 June 2007, pp. 54\u201365. ACM (2007)","journal-title":"ACM SIGPLAN Notices"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Wand, M.: Compiler correctness for parallel languages. In: Williams, J. (ed.) Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture, FPCA 1995, La Jolla, California, USA, 25\u201328 June 1995, pp. 120\u2013134. ACM (1995)","DOI":"10.1145\/224164.224193"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-59293-8_197","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"X Liu","year":"1995","unstructured":"Liu, X., Walker, D.: Confluence of processes and systems of objects. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds.) CAAP 1995. LNCS, vol. 915, pp. 217\u2013231. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59293-8_197"},{"issue":"4","key":"7_CR23","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1145\/1146809.1146811","volume":"28","author":"G Klein","year":"2006","unstructured":"Klein, G., Nipkow, T.: A machine-checked model for a Java-like language, virtual machine, and compiler. ACM Trans. Program. Lang. Syst. 28(4), 619\u2013695 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92408-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:27:34Z","timestamp":1654734454000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-92408-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319924076","9783319924083"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92408-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"27 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Madrid","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2018.discotec.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}