From cf7a3e7387e1c68f5537f98b5f8ad5a92bb2a13d Mon Sep 17 00:00:00 2001
From: Pedro da Rocha Pinto <pmd09@doc.ic.ac.uk>
Date: Wed, 3 Feb 2016 21:58:09 +0000
Subject: [PATCH] Updated paper.
---
publications.bib | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/publications.bib b/publications.bib
index d5ab081..820ff33 100644
--- a/publications.bib
+++ b/publications.bib
@@ -506,7 +506,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
}
@InProceedings{RochaPinto2015Steps,
- Title = {{Steps in Modular Specifications for Concurrent Modules}},
+ Title = {{Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)}},
Author = {Pedro da Rocha Pinto and Thomas Dinsdale-Young and Philippa Gardner},
Booktitle = {Proceedings of the 31\textsuperscript{st} Conference on the Mathematical Foundations of Programming Semantics},
Year = {2015},
--
GitLab