Confluence Analysis for Distributed Programs: A ModelTheoretic Approach, (2011)

by W Marczak, P Alvaro, N Conway, J Hellerstein, D Maier