Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Relational transducers for electronic commerce
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
The stable paths problem and interdomain routing
IEEE/ACM Transactions on Networking (TON)
Extending and implementing the stable model semantics
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Theory and Practice of Logic Programming
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Declarative networking: language, execution and optimization
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
The design and implementation of declarative networks
The design and implementation of declarative networks
A demonstration of the RapidMesh development toolkit
Proceedings of the 4th ACM international workshop on Experimental evaluation and characterization
Potassco: The Potsdam Answer Set Solving Collection
AI Communications - Answer Set Programming
FSR: formal analysis and implementation toolkit for safe inter-domain routing
Proceedings of the ACM SIGCOMM 2011 conference
A framework for verifying data-centric protocols
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Analyzing BGP instances in Maude
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Dedalus: datalog in time and space
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Distributed state machines: a declarative framework for the management of distributed systems
Proceedings of the 8th International Conference on Network and Service Management
Hi-index | 0.00 |
In this paper we present a language to write distributed applications. We provide an operational semantics of a single computational node based on Datalog. We then introduce a framework that can capture the semantics of a network of computational nodes working together. The framework can express several communication models (e.g. synchronous vs. asynchronous) and can be used to check many properties of the distributed computation under the different communication models. The framework is developed using Answer Set Programs.