Chapar: certified causally consistent distributed key-value stores.

Mohsen Lesani, Christian J. Bell, Adam Chlipala

Browse the full POPL paper archive.