二元会话类型系统中演进特性研究

• 作者: 杨振国 钟发荣
• 来源期刊: 浙江师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 会话类型 Pi-演算 子类型指派 演进特性
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 重点学科介绍
• 页码范围: 127-132
• 页数: 6页
• 分类号: TP301
• 字数: 4373字
• 语种: 中文

摘要

提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关系,定义了类型一致性等法则,确保了类型系统中进程通信一旦发生,合式进程在通道上不会发生死锁的情形.此外,还定义了递归会话类型的子类型和松弛对偶关系,提高了类型系统的灵活性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟发荣	浙江师范大学数理与信息工程学院	25	46	4.0	5.0
2	杨振国	浙江师范大学数理与信息工程学院	1	0	0.0	0.0