On Urgency in Asynchronous Timed Session Types

定时会话类型

Timed Session Types

本文提出定时会话类型的合规判定与最精确合规类型构造技术，并由此证明子类型可判定性。

Timeout Asynchronous Session Types：面向定时交互的安全异步混合选择

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions

本文提出 TOAST，通过时间约束安全支持异步会话类型中的混合选择，并给出具备进程计时器、可建模 receive-after 超时模式的演算及主体归约证明。

A Subexponential View of Domains in Session Types

Linear logic (LL) has inspired the design of many computational systems, offering reasoning techniques built on top of its meta-theory. Since its inception, several connections between concurrent systems and LL have emerged from different perspectives. In the last decade, the seminal work of Caires and Pfenning showed that formulas in LL can be interpreted as session types and processes in the pi-calculus as proof terms. This leads to a Curry-Howard interpretation where proof reductions in the cut-elimination procedure correspond to process reductions/interactions. The subexponentials in LL ha…