Items where Author is "Giachino, Elena"

Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent rollback in a tuple-based language. Journal of Logical and Algebraic Methods in Programming, 88. pp. 99-120. ISSN 2352-2208 (2017)

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)

Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares Causal-consistent reversible debugging. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (8411). Springer, pp. 370-384. ISBN 978-3-642-54804-8 (2014)