{"authors":[{"id":null,"fullName":"Barwell, Adam David","name":"Adam David","surname":"Barwell","rank":1,"pid":null},{"id":null,"fullName":"Hou, Ping","name":"Ping","surname":"Hou","rank":2,"pid":null},{"id":null,"fullName":"Vassor, Martin","name":"Martin","surname":"Vassor","rank":3,"pid":null},{"id":null,"fullName":"Yoshida, Nobuko","name":"Nobuko","surname":"Yoshida","rank":4,"pid":null}],"openAccessColor":null,"publiclyFunded":false,"eoscIfGuidelines":null,"type":"publication","language":{"code":"eng","label":"English"},"countries":[{"code":"GB","label":"United Kingdom","provenance":null}],"subjects":[{"subject":{"scheme":"keyword","value":"Fault-tolerance"},"provenance":null},{"subject":{"scheme":"keyword","value":"MCC"},"provenance":null},{"subject":{"scheme":"keyword","value":"QA75"},"provenance":null},{"subject":{"scheme":"keyword","value":"Reversible process calculus"},"provenance":null},{"subject":{"scheme":"keyword","value":"QA75 Electronic computers. Computer science"},"provenance":null},{"subject":{"scheme":"keyword","value":"Multiparty session types"},"provenance":null},{"subject":{"scheme":"keyword","value":"T-NDAS"},"provenance":null},{"subject":{"scheme":"FOS","value":"0102 computer and information sciences"},"provenance":null},{"subject":{"scheme":"FOS","value":"01 natural sciences"},"provenance":null},{"subject":{"scheme":"keyword","value":"Causally consistent rollback"},"provenance":null}],"mainTitle":"Encoding choice and replication in roll-π","subTitle":null,"descriptions":["Reversible process calculi, such as roll-π, can accommodate fault-tolerant communication protocols. However, untyped process calculi cannot guarantee desirable behavioural properties such as deadlock- freedom. Concomitantly, Multiparty Session Types (MPST) can provide such guarantees by construction, but often do not consider failures. This suggests that, by leveraging both MPST and roll-π, we can facilitate the representation of failures without requiring a significant extension to the MPST theory. However, roll-π lacks choice and replication primitives, which are key features for an MPST-based type system. Nonetheless, its expressiveness allows these constructs to be encoded directly. In this pa- per, we introduce roll-π!⊕, a variant of roll-π that incorporates choice and replication, and outline its encoding in roll-π. This extension lays the foundation for integrating roll-π with MPST.","Funding: This research was partially funded by EPSRC EP/T006544/2, EP/N027833/2, EP/N028201/1, EP/T014709/2, EP/Y005244/1, EP/V000462/1, EP/X015955/1, Horizon EU TaRDIS 101093006."],"publicationDate":"2025-01-01","publisher":"Springer","embargoEndDate":null,"sources":null,"formats":["10","521968","application/pdf"],"contributors":["Glück, Robert","Kaarsgaard, Robin","University of St Andrews.School of Computer Science"],"coverages":null,"bestAccessRight":{"code":"c_abf2","label":"OPEN","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/"},"container":null,"documentationUrls":null,"codeRepositoryUrl":null,"programmingLanguage":null,"contactPeople":null,"contactGroups":null,"tools":null,"size":null,"version":null,"geoLocations":null,"id":"dedup_wf_002::2aa34237e79d7a8fcbcef2c8bd62b0a1","originalIds":["50|od______1064::c5772fed79e1c2ae1cb6dcdf643fb24f","oai:ora.ox.ac.uk:uuid:49698a08-490b-41d7-9ffe-d4186ef600c6","oai:research-repository.st-andrews.ac.uk:10023/32613","50|od_______901::d3d3736fcf1c9562f2953248914e99f3"],"pids":[{"scheme":"handle","value":"10023/32613"}],"dateOfCollection":null,"lastUpdateTimeStamp":null,"indicators":{"citationImpact":{"citationCount":0.0,"influence":2.1746283E-9,"popularity":2.2497804E-9,"impulse":0.0,"citationClass":"C5","influenceClass":"C5","impulseClass":"C5","popularityClass":"C5"}},"projects":[{"id":"ukri________::819c500a3f3f07edba39c67478c07c5e","code":"10066667","acronym":null,"title":"Trustworthy and Resilient Decentralised Intelligence for Edge Systems","funder":"UK Research and Innovation","pids":null}],"organizations":[{"legalName":"University of Oxford","acronym":"University of Oxford","id":"openorgs____::6a7b1b4c40a067a1f209de6867fe094d","pids":[{"scheme":"OrgRef","value":"48518"},{"scheme":"FundRef","value":"100010354"},{"scheme":"wikidata","value":"Q6786826"},{"scheme":"fundref","value":"501100021079"},{"scheme":"FundRef","value":"100010350"},{"scheme":"FundRef","value":"100010359"},{"scheme":"OrgRef","value":"53554"},{"scheme":"OrgRef","value":"128294"},{"scheme":"fundref","value":"501100022752"},{"scheme":"OrgRef","value":"128380"},{"scheme":"FundRef","value":"100010369"},{"scheme":"Wikidata","value":"Q34433"},{"scheme":"FundRef","value":"100010349"},{"scheme":"fundref","value":"501100000649"},{"scheme":"fundref","value":"100010352"},{"scheme":"wikidata","value":"Q56612600"},{"scheme":"fundref","value":"501100000645"},{"scheme":"FundRef","value":"100010353"},{"scheme":"fundref","value":"100010361"},{"scheme":"fundref","value":"100010368"},{"scheme":"UKPRN","value":"10007774"},{"scheme":"fundref","value":"501100000734"},{"scheme":"FundRef","value":"501100022752"},{"scheme":"OrgRef","value":"128345"},{"scheme":"FundRef","value":"501100021079"},{"scheme":"OrgRef","value":"31797"},{"scheme":"fundref","value":"501100000747"},{"scheme":"fundref","value":"501100000744"},{"scheme":"fundref","value":"100010369"},{"scheme":"FundRef","value":"100007718"},{"scheme":"OrgRef","value":"128351"},{"scheme":"OrgRef","value":"128373"},{"scheme":"OrgRef","value":"128300"},{"scheme":"fundref","value":"100010354"},{"scheme":"FundRef","value":"100010362"},{"scheme":"FundRef","value":"501100001622"},{"scheme":"FundRef","value":"100010355"},{"scheme":"FundRef","value":"501100013389"},{"scheme":"fundref","value":"100010349"},{"scheme":"wikidata","value":"Q1095537"},{"scheme":"fundref","value":"100010371"},{"scheme":"FundRef","value":"501100014748"},{"scheme":"OrgRef","value":"128381"},{"scheme":"UCAS","value":"O33"},{"scheme":"FundRef","value":"501100006558"},{"scheme":"OrgReg","value":"UK0090"},{"scheme":"fundref","value":"501100000696"},{"scheme":"FundRef","value":"501100000747"},{"scheme":"FundRef","value":"100010364"},{"scheme":"wikidata","value":"Q5260389"},{"scheme":"fundref","value":"501100006561"},{"scheme":"fundref","value":"100010367"},{"scheme":"OrgRef","value":"128378"},{"scheme":"fundref","value":"501100001622"},{"scheme":"OrgRef","value":"9491409"},{"scheme":"fundref","value":"100010348"},{"scheme":"OrgRef","value":"128383"},{"scheme":"fundref","value":"100010353"},{"scheme":"FundRef","value":"100010356"},{"scheme":"fundref","value":"100010359"},{"scheme":"FundRef","value":"100010367"},{"scheme":"OrgRef","value":"128382"},{"scheme":"wikidata","value":"Q34433"},{"scheme":"fundref","value":"501100023929"},{"scheme":"OrgRef","value":"128375"},{"scheme":"FundRef","value":"501100000718"},{"scheme":"FundRef","value":"501100000769"},{"scheme":"fundref","value":"100010355"},{"scheme":"fundref","value":"100010357"},{"scheme":"OrgRef","value":"128374"},{"scheme":"fundref","value":"100010347"},{"scheme":"FundRef","value":"501100000696"},{"scheme":"OrgRef","value":"128390"},{"scheme":"fundref","value":"100010364"},{"scheme":"Wikidata","value":"Q6786826"},{"scheme":"FundRef","value":"501100000645"},{"scheme":"FundRef","value":"501100015505"},{"scheme":"FundRef","value":"501100000524"},{"scheme":"fundref","value":"501100000524"},{"scheme":"fundref","value":"501100000666"},{"scheme":"OrgRef","value":"128385"},{"scheme":"FundRef","value":"501100023929"},{"scheme":"OrgRef","value":"128357"},{"scheme":"fundref","value":"100007724"},{"scheme":"fundref","value":"100010350"},{"scheme":"OrgRef","value":"128362"},{"scheme":"FundRef","value":"501100000734"},{"scheme":"FundRef","value":"100010352"},{"scheme":"fundref","value":"501100000719"},{"scheme":"GRID","value":"grid.4991.5"},{"scheme":"fundref","value":"501100000728"},{"scheme":"Wikidata","value":"Q7529574"},{"scheme":"fundref","value":"501100000718"},{"scheme":"FundRef","value":"100010361"},{"scheme":"FundRef","value":"100010360"},{"scheme":"fundref","value":"501100014748"},{"scheme":"FundRef","value":"100010351"},{"scheme":"fundref","value":"100010360"},{"scheme":"OrgRef","value":"128099"},{"scheme":"FundRef","value":"501100004789"},{"scheme":"Wikidata","value":"Q5260389"},{"scheme":"FundRef","value":"100010366"},{"scheme":"FundRef","value":"100010348"},{"scheme":"wikidata","value":"Q7529574"},{"scheme":"fundref","value":"501100004211"},{"scheme":"FundRef","value":"501100006561"},{"scheme":"fundref","value":"501100004789"},{"scheme":"OrgRef","value":"128349"},{"scheme":"FundRef","value":"100010357"},{"scheme":"mag_id","value":"40120149"},{"scheme":"Wikidata","value":"Q56612600"},{"scheme":"FundRef","value":"501100000719"},{"scheme":"ISNI","value":"0000000419368948"},{"scheme":"fundref","value":"100010366"},{"scheme":"FundRef","value":"501100000649"},{"scheme":"fundref","value":"100013964"},{"scheme":"FundRef","value":"501100004211"},{"scheme":"HESA","value":"0156"},{"scheme":"OrgRef","value":"128346"},{"scheme":"FundRef","value":"100010358"},{"scheme":"FundRef","value":"100010370"},{"scheme":"fundref","value":"100010363"},{"scheme":"FundRef","value":"100010365"},{"scheme":"fundref","value":"100010358"},{"scheme":"FundRef","value":"100010347"},{"scheme":"fundref","value":"501100000769"},{"scheme":"FundRef","value":"100013964"},{"scheme":"FundRef","value":"100007724"},{"scheme":"fundref","value":"100010370"},{"scheme":"Wikidata","value":"Q1095537"},{"scheme":"FundRef","value":"100010368"},{"scheme":"fundref","value":"100007718"},{"scheme":"OrgRef","value":"128284"},{"scheme":"fundref","value":"100010362"},{"scheme":"ROR","value":"https://ror.org/052gg0110"},{"scheme":"RRID","value":"RRID:SCR_006361"},{"scheme":"fundref","value":"100010365"},{"scheme":"FundRef","value":"501100000728"},{"scheme":"fundref","value":"501100015505"},{"scheme":"fundref","value":"100010351"},{"scheme":"FundRef","value":"501100000744"},{"scheme":"OrgRef","value":"128344"},{"scheme":"fundref","value":"100010356"},{"scheme":"FundRef","value":"100010363"},{"scheme":"FundRef","value":"100010371"},{"scheme":"fundref","value":"501100006558"},{"scheme":"FundRef","value":"501100000666"},{"scheme":"fundref","value":"501100013389"},{"scheme":"OrgRef","value":"128386"}],"countries":[{"code":"GB","label":"United Kingdom"}],"websiteurl":"http://www.ox.ac.uk/"},{"legalName":"University of St Andrews","acronym":"University of St Andrews","id":"openorgs____::d6a73efb613331172294eeef8a9a65d1","pids":[{"scheme":"wikidata","value":"Q216273"},{"scheme":"ROR","value":"https://ror.org/02wn5qz54"},{"scheme":"FundRef","value":"501100000636"},{"scheme":"OrgRef","value":"1900629"},{"scheme":"fundref","value":"501100000740"},{"scheme":"UKPRN","value":"10007803"},{"scheme":"fundref","value":"501100000636"},{"scheme":"Wikidata","value":"Q216273"},{"scheme":"ISNI","value":"0000000107211626"},{"scheme":"FundRef","value":"501100000586"},{"scheme":"OrgRef","value":"181348"},{"scheme":"GRID","value":"grid.11914.3c"},{"scheme":"UCAS","value":"S36"},{"scheme":"FundRef","value":"501100023800"},{"scheme":"HESA","value":"0173"},{"scheme":"OrgReg","value":"UK0157"},{"scheme":"fundref","value":"501100023800"},{"scheme":"mag_id","value":"16835326"},{"scheme":"fundref","value":"501100000586"},{"scheme":"FundRef","value":"501100000740"}],"countries":[{"code":"GB","label":"United Kingdom"}],"websiteurl":"http://www.st-andrews.ac.uk/"}],"communities":[{"code":"uarctic","label":"UArctic","provenance":null}],"collectedFrom":[{"key":"opendoar____::892c91e0a653ba19df81a90f89d99bcd","value":"St Andrews Research Repository"},{"key":"opendoar____::2290a7385ed77cc5592dc2153229f082","value":"Oxford University Research Archive"}],"instances":[{"alternateIdentifiers":[{"scheme":"doi","value":"10.1007/978-3-031-97063-4_3"}],"license":"CC BY","accessRight":{"code":"c_abf2","label":"OPEN","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/","openAccessRoute":null},"type":"Conference object","urls":["https://doi.org/10.1007/978-3-031-97063-4_3","https://ora.ox.ac.uk/objects/uuid:49698a08-490b-41d7-9ffe-d4186ef600c6"],"publicationDate":"2025-05-06","refereed":"nonPeerReviewed","hostedBy":{"key":"opendoar____::2290a7385ed77cc5592dc2153229f082","value":"Oxford University Research Archive"},"collectedFrom":{"key":"opendoar____::2290a7385ed77cc5592dc2153229f082","value":"Oxford University Research Archive"}},{"pids":[{"scheme":"handle","value":"10023/32613"}],"alternateIdentifiers":[{"scheme":"doi","value":"10.1007/978-3-031-97063-4_3"}],"type":"Conference object","urls":["https://hdl.handle.net/10023/32613","https://www.scopus.com/pages/publications/105009759520"],"publicationDate":"2025-01-01","refereed":"nonPeerReviewed","hostedBy":{"key":"opendoar____::892c91e0a653ba19df81a90f89d99bcd","value":"St Andrews Research Repository"},"collectedFrom":{"key":"opendoar____::892c91e0a653ba19df81a90f89d99bcd","value":"St Andrews Research Repository"}}],"links":[{"header":{"relationType":"resultProject","relationClass":"isProducedBy","relatedIdentifier":"ukri________::819c500a3f3f07edba39c67478c07c5e","relatedRecordType":"project","relationProvenance":"sysimport:crosswalk:repository","trust":"0.9"},"collectedfrom":[{"dsId":"openaire____::92ed35af5f7f859de570d1d2919c09a4","dsName":"UK Research and Innovation"}],"projectTitle":"Trustworthy and Resilient Decentralised Intelligence for Edge Systems","code":"10066667","funding":{"funder":{"id":"ukri________::UKRI","shortname":"UKRI","name":"UK Research and Innovation","jurisdiction":{"code":"GB","label":"United Kingdom"},"pid":null},"level0":{"id":"ukri________::UKRI::Horizon Europe Guarantee","description":"Horizon Europe Guarantee","name":"Horizon Europe Guarantee"},"level1":{"id":null,"description":null,"name":null},"level2":{"id":null,"description":null,"name":null}},"startDate":"2023-01-01","endDate":"2026-03-30"}],"otherTitles":null,"inDiamondJournal":false,"green":true,"isGreen":true,"isInDiamondJournal":false}