Distributed Concurrent Linear Logic Programming
Distributed Concurrent Linear Logic Programming
复制标题
分布式并发线性逻辑编程
DOI：
10.1016/s0304-3975(99)00052-3
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
A. Yonezawa
中科院分区：
文献类型：
--
作者：
N. Kobayashi;Toshihiro Shimizu;A. Yonezawa
我们提出了一种分布式并发线性逻辑编程框架，它可以优雅地捕获分布式计算的基本特征：名称的位置依赖/独立性和计算的移动。我们首先定义了适合表达分布式计算的模态线性逻辑的语法和语义，然后表明模态线性逻辑片段的公式与分布式过程之间存在密切的关系。
We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation: location-dependence/independence of names and movement of computation. We first define the syntax and semantics of a modal linear logic that is suitable for expressing distributed computation, and then show that there is a close relationship between formulas of a fragment of the modal linear logic and distributed processes.