Causally consistent reversible choreographies: A monitors-as-memories approach / Mezzina, C; Pérez, J.. - (2017), pp. 127-138. ( International Symposium on Principles and Practice of Declarative Programming PPDP Namur, Belgium October 09 - 11 2017) [10.1145/3131851.3131864].
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.

