On the Encodability of Reversible Process Calculi.

Ivan Lanese, Claudio Antares Mezzina, Iain Phillips, Irek Ulidowski, Shoji Yuen

Browse the full CONCUR paper archive.