Barbs and Congruences for Safe Mobile Ambients
Barbs and Congruences for Safe Mobile Ambients
复制标题
DOI：
10.1016/s1571-0661(04)80415-8
复制
发表时间：
2002-09
期刊：
影响因子：
--
通讯作者：
M. Vigliotti;I. Phillips
中科院分区：
文献类型：
--
作者：
M. Vigliotti;I. Phillips
环境微积分提供了许多可以交互和观察过程的方法。在Levi和Sanyorgi的安全移动环境(SA)的背景下，交互所需的额外协同功能使基本观察结果复杂化。我们证明了倒钩的不同形式导致相同的倒钩同余。我们遵循本田和吉田关于π演算的方法，通过定义SA的不敏感术语来证明这一点。
The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi's Safe Mobile Ambients (SA), the extra co-capabilities required for interaction complicate the fundamental observations. We show that different formulations of barbs lead to the same barbed congruence. We prove this by following Honda and Yoshida's approach for the π-calculus by defining the insensitive terms of SA.