论文标题
异步功能会话：循环和并发（扩展版）
Asynchronous Functional Sessions: Cyclic and Concurrent (Extended Version)
论文作者
论文摘要
我们提出并发GV（CGV），这是一种功能性计算，具有由会话类型控制的消息传递并发。关于先前的计算，CGV增加了对并发评估和周期性网络拓扑的支持。 CGV的设计借鉴了APCP，这是一种会话类型的异步PI-Calculus，在先前的工作中开发了。技术贡献是（i）CGV的语法，语义和类型系统； （ii）将CGV正确翻译为APCP； （iii）一种通过诉诸APCP的基于优先级的类型系统来建立无僵硬的CGV程序的技术。
We present Concurrent GV (CGV), a functional calculus with message-passing concurrency governed by session types. With respect to prior calculi, CGV has increased support for concurrent evaluation and for cyclic network topologies. The design of CGV draws on APCP, a session-typed asynchronous pi-calculus developed in prior work. Technical contributions are (i) the syntax, semantics, and type system of CGV; (ii) a correct translation of CGV into APCP; (iii) a technique for establishing deadlock-free CGV programs, by resorting to APCP's priority-based type system.
