Causal-consistent rollback in a tuple-based language

Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. Causal-consistent rollback in a tuple-based language. Journal of Logic and Algebraic Programming, 88:99-120, 2017. [doi]

Authors

Elena Giachino

This author has not been identified. Look up 'Elena Giachino' in Google

Ivan Lanese

This author has not been identified. It may be one of the following persons: Look up 'Ivan Lanese' in Google

Claudio Antares Mezzina

This author has not been identified. Look up 'Claudio Antares Mezzina' in Google

Francesco Tiezzi

This author has not been identified. Look up 'Francesco Tiezzi' in Google