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