{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:47:32Z","timestamp":1743108452396,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319050317"},{"type":"electronic","value":"9783319050324"}],"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-05032-4_1","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:26Z","timestamp":1394184986000},"page":"3-14","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Towards Global and Local Types for Adaptation"],"prefix":"10.1007","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[]},{"given":"Marco","family":"Carbone","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Hildebrandt","sequence":"additional","affiliation":[]},{"given":"Ivan","family":"Lanese","sequence":"additional","affiliation":[]},{"given":"Jacopo","family":"Mauro","sequence":"additional","affiliation":[]},{"given":"Jorge A.","family":"P\u00e9rez","sequence":"additional","affiliation":[]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"issue":"4","key":"1_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-8(4:13)2012","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), 1\u201371 (2012)","journal-title":"Logical Methods Comput. Sci."},{"key":"1_CR2","series-title":"LNCS","first-page":"34","volume-title":"SC 2007","author":"M Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Towards a unifying theory for choreography conformance and contract compliance. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 34\u201350. Springer, Heidelberg (2007)"},{"key":"1_CR3","unstructured":"Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty sessions. In: FSTTCS. LIPIcs, vol. 8, pp. 338\u2013351. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)"},{"issue":"2","key":"1_CR4","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/2220365.2220367","volume":"34","author":"M Carbone","year":"2012","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centered programming for web services. ACM Trans. Program. Lang. Syst. 34(2), 8 (2012)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: POPL, pp. 263\u2013274. ACM (2013)","DOI":"10.1145\/2480359.2429101"},{"key":"1_CR6","series-title":"LNCS","first-page":"197","volume-title":"ESOP 2006","author":"S Carpineti","year":"2006","unstructured":"Carpineti, S., Laneve, C.: A basic contract language for web services. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol. 3924, pp. 197\u2013213. Springer, Heidelberg (2006)"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/1328438.1328471","volume-title":"In: POPL","author":"G Castagna","year":"2008","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. In: POPL, pp. 261\u2013272. ACM, New York (2008)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Venneri, B.: Self-adaptive monitors for multiparty sessions. In: PDP (2014) (to appear)","DOI":"10.1109\/PDP.2014.18"},{"key":"1_CR9","unstructured":"Dalla Preda, M., Lanese, I., Mauro, J., Gabbrielli, M., Giallorenzo, S.: Safe run-time adaptation of distributed applications, 2013. Submitted. Available at http:\/\/www.cs.unibo.it\/lanese\/publications\/fulltext\/adaptchor2.pdf.gz"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Di Giusto, C., P\u00e9rez, J.A.: Disciplined structured communications with consistent runtime adaptation. In: SAC, pp. 1913\u20131918. ACM (2013)","DOI":"10.1145\/2480362.2480716"},{"key":"1_CR11","series-title":"LNCS","first-page":"124","volume-title":"FHIES 2012","author":"AS Henriksen","year":"2013","unstructured":"Henriksen, A.S., Nielsen, L., Hildebrandt, T.T., Yoshida, N., Henglein, F.: Trustworthy pervasive healthcare services via multiparty session types. In: Weber, J., Perseil, I. (eds.) FHIES 2012. LNCS, vol. 7789, pp. 124\u2013141. Springer, Heidelberg (2013)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"1_CR13","series-title":"LNCS","first-page":"284","volume-title":"TGC 2010","author":"I Lanese","year":"2010","unstructured":"Lanese, I., Bucchiarone, A., Montesi, F.: A framework for rule-dased dynamic adaptation. In: Wirsing, M., Hofmann, M., Rauschmayer, A. (eds.) TGC 2010. LNCS, vol. 6084, pp. 284\u2013300. Springer, Heidelberg (2010)"},{"key":"1_CR14","first-page":"323","volume-title":"SEFM","author":"I Lanese","year":"2008","unstructured":"Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between interaction- and process-oriented choreographies. SEFM, pp. 323\u2013332. IEEE Computer Society, Washington, DC (2008)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Lanese, I., Montesi, F., Zavattaro, G.: Amending choreographies. In: WWV. EPTCS, vol. 123, pp. 34\u201348. Open Publishing Association (2013)","DOI":"10.4204\/EPTCS.123.5"},{"key":"1_CR16","unstructured":"Lyng, K.M., Hildebrandt, T., Mukkamala, R.R.: From paper based clinical practice guidelines to declarative workflow management. In: ProHealth, BPM 2008 Workshops, pp. 36\u201343 (2008)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Mukkamala, R.R., Hildebrandt, T., Slaats, T.: Towards trustworthy adaptive case management with dynamic condition response graphs. In: EDOC, pp. 127\u2013136. IEEE (2013)","DOI":"10.1109\/EDOC.2013.22"},{"key":"1_CR18","unstructured":"OMG. Case management model and notation 1.0 - beta 1, January 2013"},{"key":"1_CR19","volume-title":"Mastering the Unpredictable - How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done","author":"KD Swenson","year":"2010","unstructured":"Swenson, K.D.: Mastering the Unpredictable - How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done. Meghan-Kiffer, Tampa (2010)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05032-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T22:47:40Z","timestamp":1676846860000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05032-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319050317","9783319050324"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05032-4_1","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":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}