Madhavan Mukund, Gautham Shenoy R., S. P. Suresh. Effective Verification of Replicated Data Types Using Later Appearance Records (LAR). In Bernd Finkbeiner, Geguang Pu, Lijun Zhang, editors, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Volume 9364 of Lecture Notes in Computer Science, pages 293-308, Springer, 2015. [doi]
Abstract is missing.