"Towards a Proof Framework for Information Systems with Weak Consistency."

Peter Zeller, Arnd Poetzsch-Heffter (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics