Login / Signup
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs.
Emanuele D'Osualdo
Julian Sutherland
Azadeh Farzan
Philippa Gardner
Published in:
ACM Trans. Program. Lang. Syst. (2021)
Keyphrases
</>
fine grained
concurrent programs
coarse grained
process algebra
knowledge base
access control
massively parallel
tightly coupled
data lineage
concurrent programming
database
knowledge representation
asynchronous circuits
concurrent systems
natural language