消除有限容量演算中的强干扰

• 作者: 傅育熙 贾泂 钟发荣 陈建明
• 来源期刊: 上海交通大学学报
• 学科: 工学
• 关键词: 有限容量 进程演算 移动灰箱 移动资源 强干扰
• 年，卷（期）: 2005,（8）
• 所属期刊栏目: 自动化技术、计算机技术
• 页码范围: 1317-1321
• 页数: 5页
• 分类号: TP301
• 字数: 4519字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-2467.2005.08.027

摘要

为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算--安全有限容量演算.在新演算中,调整了2个能力,增加了3个能力(相当于动作)和2个余能力(余动作),并改进相应的归约语义,给出了安全有限容量演算的类型系统.该类型系统控制灰箱的移动性和线程数,并保证在计算过程中灰箱所拥有的资源数被静态地保持在其资源数范围内.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	傅育熙	上海交通大学计算机科学与工程系	23	137	6.0	11.0
2	陈建明	浙江师范大学计算机系	9	28	3.0	5.0
3	贾泂	浙江师范大学计算机系	30	285	10.0	16.0
4	钟发荣	浙江师范大学计算机系	25	46	4.0	5.0