灰箱演算相关论文
灰箱演算是一种用于描述移动系统及其交互的形式化方法.该文以灰箱演算的一个变体--鲁棒灰箱演算(ROAM)作为研究对象,从操作语义、类......
移动资源演算(MR)是一种用于描述携带资源的移动系统及其交互的形式化方法,它隶属于灰箱演算的一支。灰箱演算由Cardelli提出,最初被......
本文在移动计算形式化研究中引入了灰箱演算系统并展开了相关的讨论。文章分析了移动计算采用灰箱演算的原因,对移动灰箱演算方法进......