Towards a Proof Framework for Information Systems with Weak Consistency.

Peter Zeller, Arnd Poetzsch-Heffter

Browse the full SEFM paper archive.