Causal-consistent rollback in a tuple-based language / Giachino, E.; Lanese, I; Mezzina, C; Tiezzi, F.. - In: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. - ISSN 2352-2216. - 88:(2017), pp. 99-120. [10.1016/j.jlamp.2016.09.003]
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

