Wojciech M. Golab, Xiaozhou Li, Mehul A. Shah. Analyzing consistency properties for fun and profit. In Cyril Gavoille, Pierre Fraigniaud, editors, Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, PODC 2011, San Jose, CA, USA, June 6-8, 2011. pages 197-206, ACM, 2011. [doi]
Abstract is missing.