Concurrent Reversible Sessions

@inproceedings{Castellani2017ConcurrentRS,
  title={Concurrent Reversible Sessions},
  author={Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini},
  booktitle={CONCUR},
  year={2017}
}
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… CONTINUE READING
1 Citations
39 References
Similar Papers

Similar Papers

Loading similar papers…