A complete symbolic bisimulation for full applied pi calculus
A complete symbolic bisimulation for full applied pi calculus
复制标题
DOI：
10.1016/j.tcs.2012.07.034
复制
发表时间：
2009-12
期刊：
影响因子：
--
通讯作者：
Jia Liu;Huimin Lin
中科院分区：
文献类型：
--
作者：
Jia Liu;Huimin Lin
到目前为止提出的应用圆周率演算的双相似性的符号特征是合理的，但不完整，甚至局限于演算的有限片段。在这篇文章中，我们提出了一种新的符号语义学的方法来应用圆周率演算，从而引出了符号互模拟的概念，它相对于标准标记的互相似是合理的和完全的。此外，我们的框架支持复制，因此适用于完整的演算。
Symbolic characterisations of bisimilarities for the applied pi calculus proposed so far are sound but incomplete, even restricted to the finite fragment of the calculus. In this paper we present a novel approach to symbolic semantics for the applied pi calculus, leading to a notion of symbolic bisimulation which is both sound and complete with respect to the standard labelled bisimilarity. Moreover, our framework accommodates replications hence works for the full calculus.