2026-07-22T07:05:25Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7787 2024-03-06T10:41:09Z ddc:004 open_access

Concurrent Reversible Sessions Castellani, Ilaria Dezani-Ciancaglini, Mariangiola Giannini, Paola Communication-centric Systems Reversible Computation Process Calculi Multiparty Session Types We present a calculus for concurrent reversible multiparty sessions, which improves on recent proposals in several respects: it allows for concurrent and sequential composition within processes and types, it gives a compact representation of the past of processes and types, which facilitates the definition of rollback, and it implements a fine-tuned strategy for backward computation. We propose a refined session type system for our calculus and show that it enforces the expected properties of session fidelity, forward and backward progress, as well as causal consistency. In conclusion, our calculus is a conservative extension of previous proposals, offering enhanced expressive power and refined analysis techniques. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini 2017 Is Part Of LIPIcs, Volume 85, 28th International Conference on Concurrency Theory (CONCUR 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2017.30 urn:nbn:de:0030-drops-77877 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.30 eng https://creativecommons.org/licenses/by/3.0/legalcode