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;