A safety and liveness theory for total reversibility.

Claudio Antares Mezzina, Vasileios Koutavas

Browse the full TASE paper archive.