Causal-Consistent Reversibility in a Tuple-Based Language.

Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi

Browse the full PDP paper archive.