Declarative Distributed Computing

DOI10.1007/978-3-642-30743-0_31zbMATH Open1357.68139OpenAlexW189341565WikidataQ109585588 ScholiaQ109585588MaRDI QIDQ2900541FDOQ2900541

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

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

Cites Work

• Title not available (Why is that?)
• Extending and implementing the stable model semantics
• Knowledge Representation, Reasoning and Declarative Problem Solving
• The DLV system for knowledge representation and reasoning
• Abductive Logic Programming
• Relational transducers for electronic commerce
• Time, clocks, and the ordering of events in a distributed system
• Greedy algorithms in Datalog

Cited In (3)

• A declarative coordination language
• Positive Dedalus programs tolerate non-causality
• Putting logic-based distributed systems on stable grounds

Uses Software

• Potassco

This page was built for publication: Declarative Distributed Computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900541)