Putting Logic-Based Distributed Systems on Stable Grounds
Theory and Practice of Logic Programming, Volume abs/1507.05539, Issue 4, 2015, Pages 378-417.
In the Declarative Networking paradigm, Datalog-like languages are used to express distributed computations. Whereas recently formal operational semantics for these languages have been developed, a corresponding declarative semantics has been lacking so far. The challenge is to capture precisely the amount of nondeterminism that is inhe...More
PPT (Upload PPT)