TY  - RPRT
TI  - TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs
AU  - Emanuele D'Osualdo
AU  - Azadeh Farzan
AU  - Philippa Gardner
AU  - Julian Sutherland
PY  - 2021
DO  - 10.1145/3477082
UR  - https://arxiv.org/abs/1901.05750
ID  - 1901.05750
ER  -