A paper that proposes an expressive calculus for reversible sessions, equipped with a fine-tuned rollback mechanism and a safety-enforcing type system was accepted and presented at the 28th International Conference on Concurrency Theory (CONCUR 2017):
- Concurrent Reversible Sessions.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Paola Giannini
