Philippa Gardner
Professor of Theoretical
Computer Science
Homepage
Publications
Authors
Venue
Publication Date
Source Materials
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
Technical Report
BibTeX Citation
© VTSS @ Imperial College London. All rights reserved.
Design:
HTML5 UP
Privacy Notice
Accessibility