A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing

Bas van den Heuvel, Jorge A. Pérez

While formal models of concurrency tend to focus on synchronous communication, asynchronous communication is relevant in practice. In this paper, we will discuss asynchronous commu…