Confluence analysis for distributed programs: a model-theoretic approach
Datalog, pp. 135-147, 2012.
Building on recent interest in distributed logic programming, we take a model-theoretic approach to analyzing confluence of asynchronous distributed programs. We begin with a model-theoretic semantics for Dedalus and introduce the ultimate model, which captures non-deterministic eventual outcomes of distributed programs. After showing the...More
PPT (Upload PPT)