TY  - RPRT
TI  - Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
AU  - Bas van den Heuvel
AU  - Jorge A. Pérez
PY  - 2024
DO  - 10.46298/lmcs-20(4:6)2024
UR  - https://arxiv.org/abs/2111.13091
ID  - 2111.13091
ER  -