From 078e0c940a3a907765e42334e024a8d7c3ea0e47 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Thu, 12 Oct 2017 16:58:22 +0100
Subject: [PATCH] Update publications.bib, add bib file for CONCUR} 2004 -
Concurrency Theory
---
publications.bib | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
diff --git a/publications.bib b/publications.bib
index 57753d7..07c6960 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1253,6 +1253,24 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
project = { concurrency, tada },
}
+@proceedings{DBLP:conf/concur/2004,
+ editor = {Philippa Gardner and
+ Nobuko Yoshida},
+ title = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
+ London, UK, August 31 - September 3, 2004, Proceedings},
+ series = {Lecture Notes in Computer Science},
+ volume = {3170},
+ publisher = {Springer},
+ year = {2004},
+ url = {https://doi.org/10.1007/b100113},
+ doi = {10.1007/b100113},
+ isbn = {3-540-22940-X},
+ timestamp = {Tue, 30 May 2017 12:57:44 +0200},
+ biburl = {http://dblp.uni-trier.de/rec/bib/conf/concur/2004},
+ bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+
@Comment{jabref-meta: databaseType:bibtex;}
@Comment{jabref-meta: saveActions:enabled;
--
GitLab