Declarative Distributed Computing

DOI10.1007/978-3-642-30743-0_31zbMath1357.68139OpenAlexW189341565WikidataQ109585588 ScholiaQ109585588MaRDI QIDQ2900541

Franck le, Jorge Lobo, Alessandra Russo, Jiefei Ma

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_31

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)

Related Items (2)

Putting logic-based distributed systems on stable grounds ⋮ Positive Dedalus programs tolerate non-causality

Uses Software

• Potassco

Cites Work

• Unnamed Item
• Relational transducers for electronic commerce
• Extending and implementing the stable model semantics
• Time, clocks, and the ordering of events in a distributed system
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Greedy algorithms in Datalog
• The DLV system for knowledge representation and reasoning
• Abductive Logic Programming

This page was built for publication: Declarative Distributed Computing