Pinned Repositories
chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
MohsenLesani.github.io
MohsenLesani's Repositories
MohsenLesani/chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
MohsenLesani/MohsenLesani.github.io