CONCUR 2007 - Concurrency Theory
CONCUR 2007 - Concurrency Theory
复制标题
CONCUR 2007 - 并发理论
DOI：
10.1007/978-3-540-74407-8_22
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Crafa S
中科院分区：
文献类型：
--
作者：
Crafa S
我们为非常富有表现力的 π 演算提出了第一个组合事件结构语义，概括了 CCS 的 Winskel 事件结构。我们建模的 π 演算是具有递归定义和求和的 πI 演算。首先，我们对同步微积分进行建模，向事件结构的标准运算符引入动态重命名的概念。然后我们对异步微积分进行建模，其中需要一个新的附加运算符（称为生根）来表示由于新名称绑定而产生的因果关系。就互模拟而言，语义被证明在操作上是足够的和合理的。
We propose the first compositional event structure semantics for a very expressiveπ-calculus, generalising Winskel’s event structures for CCS. Theπ-calculus we model is theπI-calculus with recursive definitions and summations. First we model thesynchronouscalculus, introducing a notion of dynamic renaming to the standard operators on event structures. Then we model theasynchronouscalculus, for which a new additional operator, calledrooting, is necessary for representing causality due to new name binding. The semantics are shown to be operationally adequate and sound with respect to bisimulation.