{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:44:07Z","timestamp":1742913847414,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319597454"},{"type":"electronic","value":"9783319597461"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-59746-1_7","type":"book-chapter","created":{"date-parts":[[2017,5,26]],"date-time":"2017-05-26T15:56:23Z","timestamp":1495814183000},"page":"119-137","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Retractable and Speculative Contracts"],"prefix":"10.1007","author":[{"given":"Franco","family":"Barbanera","sequence":"first","affiliation":[]},{"given":"Ivan","family":"Lanese","sequence":"additional","affiliation":[]},{"given":"Ugo","family":"de\u2019Liguoro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,27]]},"reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.E.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dep. Sec. Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dep. Sec. Comput."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Barbanera, F., de\u2019Liguoro, U.: Two notions of sub-behaviour for session-based client\/server systems. In: PPDP, pp. 155\u2013164. ACM Press (2010)","DOI":"10.1145\/1836089.1836109"},{"issue":"6","key":"7_CR3","first-page":"1339","volume":"25","author":"F Barbanera","year":"2015","unstructured":"Barbanera, F., Liguoro, U.: Sub-behaviour relations for session-based client\/server systems. MSCS 25(6), 1339\u20131381 (2015)","journal-title":"MSCS"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-319-39519-7_2","volume-title":"Coordination Models and Languages","author":"F Barbanera","year":"2016","unstructured":"Barbanera, F., de\u2019Liguoro, U.: A game interpretation of retractable contracts. In: Lluch Lafuente, A., Proen\u00e7a, J. (eds.) COORDINATION 2016. LNCS, vol. 9686, pp. 18\u201334. Springer, Cham (2016). doi:10.1007\/978-3-319-39519-7_2"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Barbanera, F., Dezani-Ciancaglini, M., de\u2019Liguoro, U.: Compliance for reversible client\/server interactions. In: BEAT, EPTCS, vol. 162, pp. 35\u201342 (2014)","DOI":"10.4204\/EPTCS.162.5"},{"issue":"4","key":"7_CR6","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1007\/s00165-016-0358-2","volume":"28","author":"F Barbanera","year":"2016","unstructured":"Barbanera, F., Dezani-Ciancaglini, M., de\u2019Liguoro, U.: Reversible client\/server interactions. Formal Asp. Comput. 28(4), 697\u2013722 (2016)","journal-title":"Formal Asp. Comput."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Barbanera, F., Dezani-Ciancaglini, M., Lanese, I., de\u2019Liguoro, U.: Retractable contracts. In: PLACES 2015, EPTCS, vol. 203, pp. 61\u201372. Open Publishing Association (2016)","DOI":"10.4204\/EPTCS.203.5"},{"key":"7_CR8","unstructured":"Barbanera, F., Lanese, I., de\u2019Liguoro, U.: Retractable and speculative contracts (TR) (2017). http:\/\/www.cs.unibo.it\/~lanese\/tmp\/TR-coord2017.pdf"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-19195-9_11","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"M Bartoletti","year":"2015","unstructured":"Bartoletti, M., Cimoli, T., Murgia, M., Podda, A.S., Pompianu, L.: Compliance and subtyping in timed session types. In: Graf, S., Viswanathan, M. (eds.) FORTE 2015. LNCS, vol. 9039, pp. 161\u2013177. Springer, Cham (2015). doi:10.1007\/978-3-319-19195-9_11"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1017\/S0960129514000243","volume":"26","author":"GT Bernardi","year":"2016","unstructured":"Bernardi, G.T., Hennessy, M.: Modelling session types using contracts. Math. Struct. Comput. Sci. 26(3), 510\u2013560 (2016)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-12(2:10)2016","volume":"12","author":"GT Bernardi","year":"2016","unstructured":"Bernardi, G.T., Hennessy, M.: Using higher-order contracts to model session types. Logical Methods Comput. Sci. 12(2), 1\u201343 (2016)","journal-title":"Logical Methods Comput. Sci."},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-540-85361-9_32","volume-title":"CONCUR 2008 - Concurrency Theory","author":"M Carbone","year":"2008","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured interactional exceptions in session types. In: Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 402\u2013417. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-85361-9_32"},{"issue":"3","key":"7_CR13","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/347823.347828","volume":"9","author":"CD Carothers","year":"1999","unstructured":"Carothers, C.D., Perumalla, K.S., Fujimoto, R.: Efficient optimistic parallel simulations using reverse computation. ACM Trans. Model. Comput. Simul. 9(3), 224\u2013253 (1999)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11841197_10","volume-title":"Web Services and Formal Methods","author":"S Carpineti","year":"2006","unstructured":"Carpineti, S., Castagna, G., Laneve, C., Padovani, L.: A formal account of contracts for web services. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 148\u2013162. Springer, Heidelberg (2006). doi:10.1007\/11841197_10"},{"issue":"5","key":"7_CR15","doi-asserted-by":"publisher","first-page":"19:1","DOI":"10.1145\/1538917.1538920","volume":"31","author":"G Castagna","year":"2009","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. ACM Trans. Prog. Lang. Syst. 31(5), 19:1\u201319:61 (2009)","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1007\/978-3-642-25535-9_45","volume-title":"Service-Oriented Computing","author":"M Preda","year":"2011","unstructured":"Preda, M., Gabbrielli, M., Lanese, I., Mauro, J., Zavattaro, G.: Graceful interruption of request-response service interactions. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) ICSOC 2011. LNCS, vol. 7084, pp. 590\u2013600. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-25535-9_45"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-28644-8_19","volume-title":"CONCUR 2004 - Concurrency Theory","author":"V Danos","year":"2004","unstructured":"Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292\u2013307. Springer, Heidelberg (2004). doi:10.1007\/978-3-540-28644-8_19"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/978-3-642-15375-4_39","volume-title":"CONCUR 2010 - Concurrency Theory","author":"E Vries","year":"2010","unstructured":"Vries, E., Koutavas, V., Hennessy, M.: Communicating transactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 569\u2013583. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-15375-4_39"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Dezani-Ciancaglini, M., Giannini, P.: Reversible multiparty sessions with checkpoints. In: EXPRESS\/SOS 2016, EPTCS, vol. 222, pp. 60\u201374 (2016)","DOI":"10.4204\/EPTCS.222.5"},{"issue":"6","key":"7_CR20","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1017\/S0956796802004318","volume":"12","author":"V Gapeyev","year":"2002","unstructured":"Gapeyev, V., Levin, M.Y., Pierce, B.C.: Recursive subtyping revealed. J. Funct. Program. 12(6), 511\u2013548 (2002)","journal-title":"J. Funct. Program."},{"key":"7_CR21","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, New York (1985)"},{"key":"7_CR22","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). doi:10.1007\/BFb0053567"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273\u2013284. ACM Press (2008)","DOI":"10.1145\/1328897.1328472"},{"issue":"1","key":"7_CR24","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/2873052","volume":"49","author":"H H\u00fcttel","year":"2016","unstructured":"H\u00fcttel, H., et al.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 3:1\u20133:36 (2016)","journal-title":"ACM Comput. Surv."},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2016.02.019","volume":"625","author":"I Lanese","year":"2016","unstructured":"Lanese, I., Mezzina, C.A., Stefani, J.-B.: Reversibility in the higher-order $$\\pi $$-calculus. Theor. Comput. Sci. 625, 25\u201384 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR26","unstructured":"Lanese, I., Mezzina, C.A., Tiezzi, F.: Causal-consistent reversibility. Bull. EATCS 114 (2014)"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-74407-8_15","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"C Laneve","year":"2007","unstructured":"Laneve, C., Padovani, L.: The must preorder revisited. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 212\u2013225. Springer, Heidelberg (2007). doi:10.1007\/978-3-540-74407-8_15"},{"key":"7_CR28","doi-asserted-by":"publisher","first-page":"3328","DOI":"10.1016\/j.tcs.2010.05.002","volume":"411","author":"L Padovani","year":"2010","unstructured":"Padovani, L.: Contract-based discovery of web services modulo simple orchestrators. Theoret. Comput. Sci. 411, 3328\u20133347 (2010)","journal-title":"Theoret. Comput. Sci."},{"issue":"1\u20132","key":"7_CR29","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.jlap.2006.11.002","volume":"73","author":"ICC Phillips","year":"2007","unstructured":"Phillips, I.C.C., Ulidowski, I.: Reversing algebraic process calculi. J. Logic Alg. Program. 73(1\u20132), 70\u201396 (2007)","journal-title":"J. Logic Alg. Program."},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Prabhu, P., Ramalingam, G., Vaswani, K.: Safe programmable speculative parallelism. In: PLDI, pp. 50\u201361. ACM (2010)","DOI":"10.1145\/1809028.1806603"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Qui\u00f1ones, C.G., et al.: Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices. In: PLDI, pp. 269\u2013279. ACM (2005)","DOI":"10.1145\/1064978.1065043"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Tiezzi, F., Yoshida, N.: Towards reversible sessions. In: PLACES, EPTCS, vol. 155. pp. 17\u201324 (2014)","DOI":"10.4204\/EPTCS.155.3"},{"issue":"5","key":"7_CR33","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1016\/j.jlamp.2015.03.004","volume":"84","author":"F Tiezzi","year":"2015","unstructured":"Tiezzi, F., Yoshida, N.: Reversible session-based pi-calculus. J. Log. Algebr. Meth. Program. 84(5), 684\u2013707 (2015)","journal-title":"J. Log. Algebr. Meth. Program."},{"key":"7_CR34","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1613\/jair.2490","volume":"32","author":"L Xu","year":"2008","unstructured":"Xu, L., Hutter, F., Hoos, H.H., Leyton-Brown, K.: Satzilla: Portfolio-based algorithm selection for SAT. J. Artif. Intell. Res. (JAIR) 32, 565\u2013606 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"7_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-45657-0_2","volume-title":"Computer Aided Verification","author":"L Zhang","year":"2002","unstructured":"Zhang, L., Malik, S.: The quest for efficient boolean satisfiability solvers. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 17\u201336. Springer, Heidelberg (2002). doi:10.1007\/3-540-45657-0_2"}],"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-59746-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T03:01:52Z","timestamp":1618974112000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-59746-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319597454","9783319597461"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59746-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"27 May 2017","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":"Neuch\u00e2tel","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2017.discotec.org\/calls\/coordination-2017","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"}]}}