A declarative approach to distributed computing: specification, execution and analysis

DOI10.1017/S1471068413000513MaRDI QIDQ5398312zbMATH OpenWikidataFDO

Authors Jiefei Ma, Franck le, David A. Wood, Alessandra Russo, Jorge Lobo

Publication date 27 February 2014

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068413000513

zbMATH Keywords

action theoryanswer set programmingdistributed computingnetwork protocols

Mathematics Subject Classification ID

Distributed systems (68M14) Logic programming (68N17) Distributed algorithms (68W15)

Recommendations

• Declarative distributed computing
• Putting logic-based distributed systems on stable grounds
• Distributed Logic Programming
• Distributed concurrent linear logic programming
• Maintaining distributed logic programs incrementally

Cites work

• A logic of universal causation
• Applying prolog to develop distributed systems
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Nonmonotonic causal theories
• Verification of distributed systems with local-global predicates

Cited in

(13)

• Specifying distributed computer architectures in AADL
• Design of a multi-formalism application and distribution in a data-flow context: An example
• Declarative distributed computing
• scientific article; zbMATH DE number 5949231 (Why is no real title available?)
• scientific article; zbMATH DE number 7222494 (Why is no real title available?)
• scientific article; zbMATH DE number 5300323 (Why is no real title available?)
• Applying prolog to develop distributed systems
• Cardinality Abstraction for Declarative Networking Applications
• Maintaining distributed logic programs incrementally
• A programming model and foundation for lineage-based distributed computation
• Putting logic-based distributed systems on stable grounds
• A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
• Euro-Par 2004 Parallel Processing

This page was built for publication: A declarative approach to distributed computing: specification, execution and analysis

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