基于会话的异步并发温和综述：通过类型系统实现无死锁
A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
AI总结：
本文综述基于会话的异步并发领域研究，介绍三种带类型进程框架，阐述其如何为循环进程网络中异步通信的消息传递进程及带会话的并发函数式语言保障无死锁特性。
摘要：
并发形式化模型往往聚焦于同步通信，而异步通信在实际中具有重要意义。本文将在基于会话的并发语境下讨论异步通信——该计算模型中，会话类型用于规约由通信进程的信道所实现的双方协议结构。我们概述了近期相关研究，这些研究致力于解决在由会话类型管控的循环进程网络中，确保异步通信的消息传递进程具备无死锁特性的挑战。我们循序渐进地介绍了三个带类型的进程框架，并阐述了如何利用它们为带会话的并发函数式语言保障无死锁。
英文摘要：
While formal models of concurrency tend to focus on synchronous communication, asynchronous communication is relevant in practice. In this paper, we will discuss asynchronous communication in the context of session-based concurrency, the model of computation in which session types specify the structure of the two-party protocols implemented by the channels of a communicating process. We overview recent work on addressing the challenge of ensuring the deadlock-freedom property for message-passing processes that communicate asynchronously in cyclic process networks governed by session types. We offer a gradual presentation of three typed process frameworks and outline how they may be used to guarantee deadlock freedom for a concurrent functional language with sessions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
