Confluence Analysis for Distributed Programs: A Model-Theoretic Approach

Author(s):  
William R. Marczak ◽  
Peter Alvaro ◽  
Neil Conway ◽  
Joseph M. Hellerstein ◽  
David Maier
Author(s):  
William R. Marczak ◽  
Peter Alvaro ◽  
Neil Conway ◽  
Joseph M. Hellerstein ◽  
David Maier

1995 ◽  
Vol 17 (2) ◽  
pp. 196-214 ◽  
Author(s):  
Eytan Agmon
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document