Chapar: certified causally consistent distributed key-value stores.

Mohsen Lesani Christian J. Bell Adam Chlipala

Published in: POPL (2016)

Keyphrases

cooperative
distributed environment
multi agent
distributed systems
computing environments
real time
expert systems
data sets
social networks
computer vision
website
wireless sensor networks
peer to peer
distributed database systems
distributed data