TY  - RPRT
TI  - Comparing Type Systems for Deadlock Freedom
AU  - Ornela Dardha
AU  - Jorge A. Pérez
PY  - 2021
UR  - https://arxiv.org/abs/1810.00635
ID  - 1810.00635
ER  -