William R. Marczak, Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier. Confluence Analysis for Distributed Programs: A Model-Theoretic Approach. In Pablo Barceló, Reinhard Pichler, editors, Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings. Volume 7494 of Lecture Notes in Computer Science, pages 135-147, Springer, 2012. [doi]
Abstract is missing.