Fair ambients
Fair ambients
复制标题
公平的环境
DOI：
10.1007/s00236-007-0038-z
复制
发表时间：
2007-03
期刊：
影响因子：
0.6
通讯作者：
傅育熙*
中科院分区：
文献类型：
--
作者：
傅育熙*
在分析移动的环境演算的能力算子的基础上，提出了三个公平性原则来保证环境之间的交互。公平环境演算旨在满足这些公平原则。一个标记的转换语义的演算定义，以支持结构调查。研究了公平环境的互模拟理论，建立了两个符合的结果。通过证明该演算包含作为子演算的pi演算，形式上建立了该演算的表达结果。
Based on an analysis of the capability operators of the Calculus of Mobile Ambients, three fairness principles are proposed to safeguard the interactions of the ambients. The Calculus of Fair Ambient is designed to meet these fairness principles. A labeled transition semantics for the calculus is defined to support structural investigation. The bisimulation theory of the fair ambients is studied and two coincidence results are established. An expressiveness result of the calculus is formally established by proving that it contains the pi calculus as a sub-calculus.
登录
查看更多内容
DOI：
10.1016/s0304-3975(99)00037-7
发表时间：
1999-06
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Yuxi Fu
通讯作者：
Yuxi Fu
DOI：
10.1007/bfb0053547
发表时间：
1998-03
期刊：
--
影响因子：
--
作者：
L. Cardelli;A. Gordon
通讯作者：
L. Cardelli;A. Gordon
DOI：
10.1016/s1571-0661(04)80415-8
发表时间：
2002-09
期刊：
Fifth International Symposium on Multimedia Software Engineering, 2003. Proceedings.
影响因子：
--
作者：
M. Vigliotti;I. Phillips
通讯作者：
M. Vigliotti;I. Phillips
DOI：
10.1007/3-540-45500-0_2
发表时间：
2001-10
期刊：
--
影响因子：
--
作者：
M. Bugliesi;Giuseppe Castagna;Silvia Crafa
通讯作者：
M. Bugliesi;Giuseppe Castagna;Silvia Crafa
影响因子：
1.1
作者：
Cardelli, L;Gordon, AD
通讯作者：
Gordon, AD