Journal
ACTA INFORMATICA
Volume 56, Issue 7-8, Pages 553-583Publisher
SPRINGER
DOI: 10.1007/s00236-019-00332-y
Keywords
-
Categories
Funding
- EU [H2020-644235, H2020-644298]
- ARVI [IC1402]
- Ateneo/CSP project RunVar
- Universita del Piemonte Orientale
- COST Action on Reversible Computation-extending horizons of computing [IC1405]
Ask authors/readers for more resources
We propose a calculus for concurrent reversible multiparty sessions, equipped with a flexible choice operator allowing for different sets of participants in each branch. This operator is inspired by the notion of connecting action recently introduced by Hu and Yoshida to describe protocols with optional participants. We argue that this choice operator allows for a natural description of typical communication protocols. Our calculus also supports a compact representation of the history of processes and types, which facilitates the definition of rollback. Moreover, it implements a fine-tuned strategy for backward computation. We present a session type system for the calculus and show that it enforces the expected properties of session fidelity, forward progress and backward progress.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available