A Compositional Semantics for the Reversible p-Calculus
A Compositional Semantics for the Reversible p-Calculus
复制标题
可逆 p 微积分的组合语义
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Daniele Varacca
中科院分区：
文献类型：
--
作者：
Ioana Cristescu;J. Krivine;Daniele Varacca
我们为可逆π演算引入了一个标号转移语义。它是可逆演算的组合定义的第一个帐户，具有并发原语和名称移动性。可逆性的概念与因果关系的概念密切相关。我们讨论的因果关系的概念引起我们的演算，我们比较它与现有的概念在文献中，特别是什么关注的句法特征的范围挤出，典型的π演算。
We introduce a labelled transition semantics for the reversible π-calculus. It is the first account of a compositional definition of a reversible calculus, that has both concurrency primitives and name mobility. The notion of reversibility is strictly linked to the notion of causality. We discuss the notion of causality induced by our calculus, and we compare it with the existing notions in the literature, in particular for what concerns the syntactic feature of scope extrusion, typical of the π-calculus.