Displaying 4 results.
-
An Oz implementation using Truffle and Graal(2017) Ecole polytechnique de Louvain
-
Hybrid causality : towards a model between potential and explicit causality(2017) Ecole polytechnique de Louvain
-
HoneyPot : a caching protocol for causally consistent data stores(2017) Ecole polytechnique de Louvain
-
A formal proof for Speculative Snapshot Isolation(2017) Ecole polytechnique de Louvain