Media type: E-Book Title: TaDA Live : Compositional Reasoning for Termination of Fine-grained Concurrent Programs Contributor: D'Osualdo, Emanuele [Author]; Sutherland, Julian [Author]; Farzan, Azadeh [Author]; Gardner, Philippa [Author] Published: Konstanz: KOPS Universität Konstanz, 2021 Extent: 1 Online-Ressource Language: English Identifier: Origination: Footnote: In: ACM Transactions on Programming Languages and Systems. ACM. 2021, 43(4), 16. ISSN 0164-0925. eISSN 1558-4593. Verfügbar unter: doi: 10.1145/3477082 Access State: Open Access