Synchrony vs Causality in the Asynchronous Pi-Calculus
Synchrony vs Causality in the Asynchronous Pi-Calculus
复制标题
异步 Pi 演算中的同步性与因果性
DOI：
10.4204/eptcs.64.7
复制
发表时间：
2011
期刊：
影响因子：
0.6
通讯作者：
U. Nestmann
中科院分区：
文献类型：
--
作者：
Kirstin Peters;Jens;U. Nestmann
我们研究了进程结石之间的关系，不同的同步或异步的相互作用机制。具体地说，我们感兴趣的条件下，同步交互可以实现仅使用异步交互的π演算。我们假设一些最小的条件，指的是Gorla的工作：一个“好”的编码必须是组合的，并保留和反映计算，死锁，分歧和成功。在这些条件下，我们表明，它是不可能的编码同步的相互作用，而不引入额外的因果关系的翻译。
We study the relation between process calculi that differ in their either synchronous or asynchronous interaction mechanism. Concretely, we are interested in the conditions under which synchronous interaction can be implemented using just asynchronous interactions in the pi-calculus. We assume a number of minimal conditions referring to the work of Gorla: a "good" encoding must be compositional and preserve and reflect computations, deadlocks, divergence, and success. Under these conditions, we show that it is not possible to encode synchronous interactions without introducing additional causal dependencies in the translation.