Reversibility in the higher-order π-calculus

Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani. Reversibility in the higher-order π-calculus. Theoretical Computer Science, 625:25-84, 2016. [doi]

Abstract

Abstract is missing.