Declarative distributed computing
DOI10.1007/978-3-642-30743-0_31zbMATH Open1357.68139OpenAlexW189341565WikidataQ109585588 ScholiaQ109585588MaRDI QIDQ2900541FDOQ2900541
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
Recommendations
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 (11)
- Logic Programming and Nonmonotonic Reasoning
- Relational transducers for declarative networking
- A declarative coordination language
- Positive Dedalus programs tolerate non-causality
- Cardinality Abstraction for Declarative Networking Applications
- Putting logic-based distributed systems on stable grounds
- A declarative approach to distributed computing: specification, execution and analysis
- Equivalent semantic models for a distributed dataspace architecture.
- Protocol combinators for modeling, testing, and execution of distributed systems
- Maintaining distributed logic programs incrementally
- Applying prolog to develop distributed systems
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)
