期刊
THEORY AND PRACTICE OF LOGIC PROGRAMMING
卷 13, 期 -, 页码 815-830出版社
CAMBRIDGE UNIV PRESS
DOI: 10.1017/S1471068413000513
关键词
action theory; answer set programming; network protocols; distributed computing
资金
- U.S. Army Research Laboratory
- U.K. Ministry of Defence [W911NF-06-3-0001]
- ICREA Funding Source: Custom
There is an increasing interest in using logic programming to specify and implement distributed algorithms, including a variety of network applications. These are applications where data and computation are distributed among several devices and where, in principle, all the devices can exchange data and share the computational results of the group. In this paper we propose a declarative approach to distributed computing whereby distributed algorithms and communication models can be (i) specified as action theories of fluents and actions; (ii) executed as collections of distributed state machines, where devices are abstracted as (input/output) automata that can exchange messages; and (iii) analysed using existing results on connecting causal theories and Answer Set Programming. Results on the application of our approach to different classes of network protocols are also presented.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据