线性π-演算中的死锁和锁自由

我们研究了线性π演算的两个改进，以确保无死锁（不存在挂起线性通信的稳定状态）和无锁（挂起线性通讯的最终完成）。这两种类型系统的主要特征是一种新形式的通道多态性，这在很大程度上影响了它们的准确性：它们是同类系统中第一个可以处理由循环网络连接的递归过程的系统。