TY  - RPRT
TI  - A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
AU  - Bas van den Heuvel
AU  - Jorge A. Pérez
PY  - 2024
DO  - 10.4204/eptcs.414.1
UR  - https://arxiv.org/abs/2412.08232
ID  - 2412.08232
ER  -