Paper on Concurrent Reversible Sessions presented at CONCUR 2017

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