Causally consistent reversible choreographies: a monitors-as-memories approach.

Claudio Antares Mezzina Jorge A. Pérez

Published in: PPDP (2017)

Keyphrases

markov chain
cellular automata
data sets
database
real time
search engine
multiresolution
globally optimal