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

DOI10.1017/S1471068413000513zbMath1286.68051WikidataQ109585583 ScholiaQ109585583MaRDI QIDQ5398312

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

Publication date: 27 February 2014

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

zbMATH Keywords

distributed computingnetwork protocolsanswer set programmingaction theory

Mathematics Subject Classification ID

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

Related Items (1)

Putting logic-based distributed systems on stable grounds

Cites Work

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

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