{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:43:37Z","timestamp":1725853417540},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319336114"},{"type":"electronic","value":"9783319336121"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-33612-1_5","type":"book-chapter","created":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T08:18:38Z","timestamp":1461053918000},"page":"67-85","source":"Crossref","is-referenced-by-count":2,"title":["An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems"],"prefix":"10.1007","author":[{"given":"Cinzia","family":"Di Giusto","sequence":"first","affiliation":[]},{"given":"Jorge A.","family":"P\u00e9rez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,20]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-35182-2_15","volume-title":"Programming Languages and Systems","author":"G Anderson","year":"2012","unstructured":"Anderson, G., Rathke, J.: Dynamic software update for message passing programs. In: Jhala, R., Igarashi, A. (eds.) APLAS 2012. LNCS, vol. 7705, pp. 207\u2013222. Springer, Heidelberg (2012)"},{"issue":"4:13","key":"5_CR2","first-page":"1","volume":"8","author":"M Bravetti","year":"2012","unstructured":"Bravetti, M., Di Giusto, C., P\u00e9rez, J.A., Zavattaro, G.: Adaptable processes. Logical Methods Comput. Sci. 8(4:13), 1\u201371 (2012)","journal-title":"Logical Methods Comput. Sci."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Venneri, B.: Self-adaptive monitors for multiparty sessions. In: PDP 2014, pp. 688\u2013696. IEEE (2014)","DOI":"10.1109\/PDP.2014.18"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Di Giusto, C., P\u00e9rez, J.A.: Session types with runtime adaptation: Overview and examples. In: PLACES. EPTCS, vol. 137, pp. 21\u201332 (2013)","DOI":"10.4204\/EPTCS.137.3"},{"key":"5_CR5","unstructured":"Di Giusto, C., Perez, J.A.: An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems. Research report, December 2014. \n                      https:\/\/hal.archives-ouvertes.fr\/hal-01093090"},{"key":"5_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33143-5","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2013","unstructured":"Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Berlin (2013)"},{"issue":"2\u20133","key":"5_CR7","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"SJ Gay","year":"2005","unstructured":"Gay, S.J., Hole, M.: Subtyping for session types in the pi calculus. Acta Inf. 42(2\u20133), 191\u2013225 (2005)","journal-title":"Acta Inf."},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.scico.2014.04.017","volume":"97","author":"C Di Giusto","year":"2015","unstructured":"Di Giusto, C., P\u00e9rez, J.A.: Disciplined structured communications with disciplined runtime adaptation. Sci. Comput. Program. 97, 235\u2013265 (2015)","journal-title":"Sci. Comput. Program."},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-642-14107-2_16","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"R Hu","year":"2010","unstructured":"Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., Honda, K.: Type-safe eventful sessions in Java. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 329\u2013353. Springer, Heidelberg (2010)"},{"key":"5_CR11","unstructured":"Kouzapas, D.: A Study of Bisimulation Theory for Session Types. Ph.D. thesis, Imperial College London (2012)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-21461-5_15","volume-title":"Formal Techniques for Distributed Systems","author":"D Kouzapas","year":"2011","unstructured":"Kouzapas, D., Yoshida, N., Honda, K.: On asynchronous session semantics. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol. 6722, pp. 228\u2013243. Springer, Heidelberg (2011)"},{"issue":"2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1017\/S096012951400019X","volume":"26","author":"D Kouzapas","year":"2016","unstructured":"Kouzapas, D., Yoshida, N., Hu, R., Honda, K.: On asynchronous eventful session semantics. Math. Struct. Comput. Sci. 26(2), 303\u2013364 (2016)","journal-title":"Math. Struct. Comput. Sci."},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/11693024_15","volume-title":"Programming Languages and Systems","author":"J Costa Seco","year":"2006","unstructured":"Costa Seco, J., Caires, L.: Types for dynamic reconfiguration. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol. 3924, pp. 214\u2013229. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Web Services, Formal Methods, and Behavioral Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33612-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T00:40:34Z","timestamp":1559436034000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33612-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319336114","9783319336121"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33612-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}