二元会话类型系统中演进特性研究 (2013年)

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