| Document Date: 2012-09-05 02:41:30
Open Document File Size: 133,80 KBShare Result on Facebook
Currency pence / / Facility University of California / Ultimate Models Stable / / IndustryTerm distributed computing / data replication protocol / coordination protocols / asynchronous distributed computing / transition systems / distributed systems / / Organization University of California / Berkeley / Portland State University / / Person Pn / / Position head / ultimate model / programmer / / ProgrammingLanguage Datalog / / ProvinceOrState California / / Technology following protocol / two-round voting protocol / data replication protocol / coordination protocols / two-phase voting protocol / /
SocialTag |
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach William R. Marczak1 , Peter Alvaro1 , Neil Conway1 , Joseph M. Hellerstein1 , and David Maier2 1