• EN
教师基本信息
钟发荣
性别:男
学位:博士学位 在职信息:在岗

个人信息 Personal information

学历:博士研究生毕业 毕业院校:上海交通大学 在职信息:在岗 所在单位:数学与计算机科学学院 入职时间:1986-07-01 职务:未聘任

二元会话类型系统中演进特性研究<sup>*</sup>

点击次数: 第一作者:钟发荣 发表时间:2013-01-01 发表刊物:浙江师范大学学报(自然科学版) 所属单位:数理与信息工程学院 文献类型:期刊 期号:第2期 页面范围:127-132 ISSN号:1001-5051 关键字:会话类型;Pi-演算;子类型指派;演进特性 摘要:提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关系,定义了类型一致性等法则,确保了类型系统中进程通信一旦发生,合式进程在通道上不会发生死锁的情形.此外,还定义了递归会话类型的子类型和松弛对偶关系,提高了类型系统的灵活性. 是否译文:
推荐本文