Declarative distributed computing

DOI10.1007/978-3-642-30743-0_31MaRDI QIDQ2900541zbMATH OpenOpenAlexWikidataFDO

Authors Jorge Lobo, Jiefei Ma, Alessandra Russo, Franck le

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)

Recommendations

• Putting logic-based distributed systems on stable grounds
• A declarative approach to distributed computing: specification, execution and analysis
• Distributed Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• Applying prolog to develop distributed systems

Cites work

• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• Abductive Logic Programming
• Extending and implementing the stable model semantics
• Greedy algorithms in Datalog
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Relational transducers for electronic commerce
• The DLV system for knowledge representation and reasoning
• Time, clocks, and the ordering of events in a distributed system

Cited in

(11)

• Putting logic-based distributed systems on stable grounds
• A declarative approach to distributed computing: specification, execution and analysis
• Relational transducers for declarative networking
• Applying prolog to develop distributed systems
• Logic Programming and Nonmonotonic Reasoning
• A declarative coordination language
• Positive Dedalus programs tolerate non-causality
• Cardinality Abstraction for Declarative Networking Applications
• Protocol combinators for modeling, testing, and execution of distributed systems
• Maintaining distributed logic programs incrementally
• Equivalent semantic models for a distributed dataspace architecture.

Describes a project that uses

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)