异步Pi演算中的同步性与因果性
Synchrony vs Causality in the Asynchronous Pi-Calculus
摘要：
我们研究了进程结石之间的关系，不同的同步或异步的相互作用机制。具体地说，我们感兴趣的条件下，同步交互可以实现仅使用异步交互的π演算。我们假设一些最小的条件是指戈尔拉的工作：一个“好”的编码必须是组合的，并保留和反映计算，死锁，分歧和成功。在这些条件下，我们表明，它是不可能的编码同步的相互作用，而不引入额外的因果关系的翻译。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
