An Axiomatic Approach to Reversible Computation.

Ivan Lanese, Iain Phillips, Irek Ulidowski

Browse the full FOSSACS paper archive.