Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco
Causal-Consistent Reversibility in a Tuple-Based Language.
In: 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015, Turku, Finland, March 4-6, 2015, 4-6 March, 2015, Turku, Finland
pp. 467-475.
ISBN 978-1-4799-8491-6.
(2015)