Ivan Lanese Computer Science Department University of Bologna/INRIA Italy Causal-Consistent Reversibility in a Tuple-Based Language Joint work with Elena.
Causal-Consistent Reversibility in a Tuple-Based Distributed Language