MohsenLesani's repositories
chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Language:CoqMIT000
Language:HTML000
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]