{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T10:08:15Z","timestamp":1761905295409,"version":"build-2065373602"},"reference-count":28,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.433.3","type":"journal-article","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T11:01:24Z","timestamp":1761562884000},"page":"3-22","source":"Crossref","is-referenced-by-count":0,"title":["Fault-Tolerant Multiparty Session Types with Global Escape Loops"],"prefix":"10.4204","volume":"433","author":[{"given":"Lukas","family":"Bartl","sequence":"first","affiliation":[]},{"given":"Julian","family":"Linne","sequence":"additional","affiliation":[]},{"given":"Kirstin","family":"Peters","sequence":"additional","affiliation":[]}],"member":"2720","published-online":{"date-parts":[[2025,10,28]]},"reference":[{"key":"adameitPetersNestmann17","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-60225-7_1","article-title":"Session Types for Link Failures","volume-title":"Proc. of FORTE","volume":"10321","author":"Adameit","year":"2017"},{"key":"aguileraChenToueg97","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/BFb0030680","article-title":"Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication","volume-title":"Proc. of WDAG","volume":"1320","author":"Aguilera","year":"1997"},{"key":"BettiniAtall08","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-85361-9_33","article-title":"Global Progress in Dynamically Interleaved Multiparty Sessions","volume-title":"Proc. of CONCUR","volume":"5201","author":"Bettini","year":"2008"},{"key":"BocciAtall10","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-15375-4_12","article-title":"A Theory of Design-by-Contract for Distributed Multiparty Interactions","volume-title":"Proc. of CONCUR","volume":"6269","author":"Bocchi","year":"2010"},{"key":"CairesVieira2010","doi-asserted-by":"publisher","first-page":"4399","DOI":"10.1016\/j.tcs.2010.09.010","article-title":"Conversation types","volume":"411","author":"Caires","year":"2010","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"capecchi2016","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1017\/S0960129514000164","article-title":"Global escape in multiparty sessions","volume":"26","author":"Capecchi","year":"2016","journal-title":"Mathematical Structures in Computer Science"},{"key":"CarboneHondaYoshida08","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-540-85361-9_32","article-title":"Structured Interactional Exceptions in Session Types","volume-title":"Proc. of CONCUR","volume":"5201","author":"Carbone","year":"2008"},{"key":"castellaniEtAl","series-title":"LIPIcs","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CONCUR.2017.30","article-title":"Concurrent Reversible Sessions","volume-title":"Proc. of CONCUR","volume":"85","author":"Castellani","year":"2017"},{"key":"CastellaniAtAll20","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/j.tcs.2019.09.027","article-title":"Global types with internal delegation","volume":"807","author":"Castellani","year":"2020","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"ChandraToueg96","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","article-title":"Unreliable Failure Detectors for Reliable Distributed Systems","volume":"43","author":"Chandra","year":"1996","journal-title":"Journal of the ACM"},{"key":"char16","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.scico.2015.10.006","article-title":"Parameterized, concurrent session types for asynchronous multi-actor interactions","volume":"115\u2013116","author":"Charalambides","year":"2016","journal-title":"Science of Computer Programming"},{"key":"chen.viering.bejleri.ziarek.eugster","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-319-39570-8_7","article-title":"A Type Theory for Robust Failure Handling in Distributed Systems","volume-title":"Proc. of FORTE","volume":"9688","author":"Chen","year":"2016"},{"key":"gentleintro","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-319-18941-3_4","article-title":"A Gentle Introduction to Multiparty Asynchronous Session Types","volume-title":"Proc. of SFM","volume":"9104","author":"Coppo","year":"2015"},{"issue":"3","key":"dem15","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/s10703-014-0218-8","article-title":"Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.","volume":"46","author":"Demangeon","year":"2015","journal-title":"Formal Methods in System Design"},{"key":"nestmann07","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s00236-007-0052-1","article-title":"Distributed Consensus, revisited","author":"Fuzzati","year":"2007","journal-title":"Acta Informatica"},{"issue":"1","key":"DBLP:journals\/csur\/Gartner99","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/311531.311532","article-title":"Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments","volume":"31","author":"G\u00e4rtner","year":"1999","journal-title":"ACM Computing Surveys"},{"key":"hondaYoshidaCarbone08","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/1328438.1328472","article-title":"Multiparty Asynchronous Session Types","volume-title":"Proc. of POPL","volume":"43","author":"Honda","year":"2008"},{"issue":"1","key":"hondaYoshidaCarbone16","doi-asserted-by":"publisher","DOI":"10.1145\/2827695","article-title":"Multiparty Asynchronous Session Types","volume":"63","author":"Honda","year":"2016","journal-title":"Journal of the ACM"},{"key":"KouzapasGutkovasGay14","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"25","DOI":"10.4204\/EPTCS.155.4","article-title":"Session Types for Broadcasting","volume-title":"Proc. of PLACES","volume":"155","author":"Kouzapas","year":"2014"},{"issue":"4","key":"lamport01","first-page":"51","article-title":"Paxos Made Simple","volume":"32","author":"Lamport","year":"2001","journal-title":"ACM Sigact News"},{"volume-title":"Distributed Algorithms","year":"1996","author":"Lynch","key":"Lynch96"},{"key":"neykova2017let","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/3033019.3033031","article-title":"Let it recover: multiparty protocol-induced recovery","volume-title":"Proc. of CC","author":"Neykova","year":"2017"},{"key":"petersNestmannWagner22","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-031-08679-3_7","article-title":"Fault-Tolerant Multiparty Session Types","volume-title":"Proc. of FORTE","volume":"13273","author":"Peters","year":"2022"},{"issue":"4","key":"petersNestmannWagner23","doi-asserted-by":"publisher","DOI":"10.46298\/LMCS-19(4:14)2023","article-title":"FTMPST: Fault-Tolerant Multiparty Session Types","volume":"19","author":"Peters","year":"2023","journal-title":"Logical Methods in Computer Science"},{"key":"petersWagnerNestmann19","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-030-32505-3_12","article-title":"Taming Concurrency for Verification Using Multiparty Session Types","volume-title":"Proc. of ICTAC","volume":"11884","author":"Peters","year":"2019"},{"volume-title":"Distributed Systems","year":"2017","author":"van Steen","key":"Tanenbaum17"},{"key":"Tel2000","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168724","volume-title":"Introduction to Distributed Algorithms","author":"Tel","year":"2000"},{"key":"viering18","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1007\/978-3-319-89884-1_28","article-title":"A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems","volume-title":"Proc. of ESOP","volume":"10801","author":"Viering","year":"2018"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T10:03:39Z","timestamp":1761905019000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2510.24203v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,28]]},"references-count":28,"URL":"https:\/\/doi.org\/10.4204\/eptcs.433.3","relation":{},"ISSN":["2075-2180"],"issn-type":[{"type":"electronic","value":"2075-2180"}],"subject":[],"published":{"date-parts":[[2025,10,28]]}}}