Updated paper.

cf7a3e73 · Pedro da Rocha Pinto · 647d0d20 · cf7a3e73
Commit cf7a3e73 authored 9 years ago by Pedro da Rocha Pinto
--- 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},