MohsenLesani

Pinned Repositories

chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Language:Coq00
MohsenLesani.github.io
Language:HTML00

MohsenLesani's Repositories

MohsenLesani/chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Language:Coq00
MohsenLesani/MohsenLesani.github.io
Language:HTML00