Login / Signup
TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs.
Emanuele D'Osualdo
Azadeh Farzan
Philippa Gardner
Julian Sutherland
Published in:
CoRR (2019)
Keyphrases
</>
fine grained
concurrent programs
coarse grained
access control
knowledge base
concurrent programming
tightly coupled
massively parallel
database
databases
knowledge based systems
process algebra
concurrent processes