Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility.

William Arnone, Ivan Lanese

Browse the full RC paper archive.