Putting logic-based distributed systems on stable grounds

DOI10.1017/S1471068415000381zbMath1379.68124arXiv1507.05539OpenAlexW941810826MaRDI QIDQ4593035

William R. Marczak, Jan Van den Bussche, Tom J. Ameloot, Joseph M. Hellerstein, Peter Alvaro

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1507.05539

zbMATH Keywords

distributed systemDatalogasynchronous communicationstable model semanticsDedalus

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• LUPS
• Rodin
• Z

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16--19, 2010. Revised selected papers
• Appraising fairness in languages for distributed programming
• LUPS -- A language for updating logic programs
• Positive Dedalus programs tolerate non-causality
• Declarative Distributed Computing
• Logic programming and negation: A survey
• Fairness and hyperfairness
• Adding Evolving Abilities to a Multi-Agent System
• Relational transducers for declarative networking
• A declarative approach to distributed computing: Specification, execution and analysis