OpSets: Sequential Specifications for Replicated Datatypes

From MaRDI portal


MaRDI QIDQ7361260FDO


Authors Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford

Publication date 10 May 2018



Cites work





This page was built for software: OpSets: Sequential Specifications for Replicated Datatypes

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=OpSets:_Sequential_Specifications_for_Replicated_Datatypes&oldid=105364397"
Powered by MediaWiki