Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-30743-0_31 | Correct Reasoning |
Keywords | Field | DocType |
single computational node,computational node,operational semantics,answer set programs,different communication model,communication model | Asynchronous communication,Operational semantics,Programming language,Computer science,Failure semantics,Models of communication,Theoretical computer science,Data integrity,Datalog,Semantics,Computation,Distributed computing | Conference |
Citations | PageRank | References |
3 | 0.43 | 18 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jorge Lobo | 1 | 1112 | 65.53 |
Jiefei Ma | 2 | 158 | 12.05 |
Alessandra Russo | 3 | 1022 | 80.10 |
Franck Le | 4 | 279 | 29.29 |