它通过在原有的移动灰箱演算(Mobile Ambient)中加入补名,加强了对灰箱移入移出的控制。曾经有人研究过灰箱演算上的上下文等价,这是may测试等价的变体,是一种比较弱的等价关系...
基于12个网页-相关网页
discrete timed mobile Ambient 离散时间Ambient演算
Calculus of the mobile ambient 移动环境演算
mobile safe ambient 安全移动灰箱演算
·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐