Elena GiachinoIvan LaneseClaudio Antares MezzinaFrancesco Tiezzi 0001Causal-Consistent Reversibility in a Tuple-Based Language.467-4752015PDPhttps://doi.org/10.1109/PDP.2015.98https://doi.ieeecomputersociety.org/10.1109/PDP.2015.98conf/pdp/2015db/conf/pdp/pdp2015.html#GiachinoLMT15