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

Source Materials