From 0c5763303d25f6b7d812ef5341425a1ceba92092 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 29 Sep 2021 17:36:20 +0000
Subject: [PATCH] Update publications.bib
---
publications.bib | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/publications.bib b/publications.bib
index 08a83d9..021b027 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1832,8 +1832,7 @@ author = {Emanuele D'Osualdo and
Julian Sutherland},
title = {TaDA Live: Compositional Reasoning for Termination of Fine-grained
Concurrent Programs},
-journal = {CoRR},
-volume = {abs/1901.05750},
+journal = {ACM Transactions on Programming Languages and Systems (TOPLAS), submitted Jan 2020; accepted 2021.},
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:
--
GitLab