Reversibility in session-based concurrency: A fresh look

Claudio Mezzina, Jorge A Pérez,

Journal	Journal of Logical and Algebraic Methods in Programming
Publisher	Universitat Politècnica de Catalunya
Volume	90
Journal	Journal of Logical and Algebraic Methods in Programming
Publisher	Universitat Politècnica de Catalunya
Volume	90

Publication