From ea3eaafa37a7ef60f4a08440f96010cfb4156d41 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 29 Sep 2021 14:08:23 +0000
Subject: [PATCH] Update publications.bib

---
 publications.bib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/publications.bib b/publications.bib
index 3109662..08a83d9 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1834,7 +1834,7 @@ title     = {TaDA Live: Compositional Reasoning for Termination of Fine-grained
             Concurrent Programs},
 journal   = {CoRR},
 volume    = {abs/1901.05750},
-year      = {2020},
+year      = {2021},
 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,
-- 
GitLab