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
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)
Uses Software
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)