摘要
为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算——安全有限容量演算.在新演算中,调整了2个能力,增加了3个能力(相当于动作)和2个余能力(余动作),并改进相应的归约语义,给出了安全有限容量演算的类型系统.该类型系统控制灰箱的移动性和线程数,并保证在计算过程中灰箱所拥有的资源数被静态地保持在其资源数范围内.
There are some grave interferences in the calculus of bounded capacities （BoCa） , which can be baleful and can be considered as programming errors. In order to eliminate these grave interferences and to dominate the movement of resources, some BoCa primitives were modified. A new calculus, the safe bounded capacities （Safe BoCa） was proposed which modifies two capacities and adds three new capabilities and two new co-capabilities. The reduction semantics is modified accordingly. A type system for the Safe BoCa is given to control the mobility of ambients and the number of threads, and to guarantee that the intended capacity bounds are statically preserved throughout computation.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2005年第8期1317-1321,共5页
Journal of Shanghai Jiaotong University
基金
国家杰出青年科学基金资助项目(60225012)
上海市科委重点项目(025115032)
关键词
有限容量
进程演算
移动灰箱
移动资源
强干扰
bounded capacities
process calculus
mobile ambient
mobile resource
grave interferences
