Putting Logic-Based Distributed Systems on Stable Grounds

Theory and Practice of Logic Programming, Volume abs/1507.05539, Issue 4, 2015, Pages 378-417.

Cited by: 3|Bibtex|Views15|DOI:https://doi.org/10.1017/S1471068415000381
EI
Other Links: academic.microsoft.com|dblp.uni-trier.de|arxiv.org

Abstract:

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

Code:

Data:

Full Text
Your rating :
0

 

Tags
Comments