(Submitted) TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs
Authors
- Emanuele D’Osualdo
- Azadeh Farzan
- Philippa Gardner
- Julian Sutherland
Venue
Publication Date
2020
Professor of Theoretical
Computer Science
2020