Reversible session-based pi-calculus ?
We incorporate reversibility into structured communication-based programming. We propose a reversible variant of session-based pi-calculus. We show causal consistency results for the reversible calculus. We extend the reversible session-based calculus with committable sessions.
reversible computing the pi-calculus session types session-based programming