Commit ddf59b6f authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update publications.bib

parent 7003bb76
......@@ -1824,7 +1824,7 @@ correctness of several essential properties of the module, and discovering two s
previously unknown bugs.},
}
@Article{DOsualdo2020TaDa,
@article{DOsualdo2020TaDa,
author = {Emanuele D'Osualdo and
Azadeh Farzan and
Philippa Gardner and
......@@ -1833,7 +1833,7 @@ previously unknown bugs.},
Concurrent Programs},
journal = {CoRR},
volume = {abs/1901.05750},
year = {2019},
year = {2020},
abstract = {We present TaDA Live, a concurrent separation logic for reasoning compositionally about the termination of
blocking fine-grained concurrent programs. The crucial challenge is how to deal with abstract atomic blocking:
that is, abstract atomic operations that have blocking behaviour arising from busy-waiting patterns as found in,
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment