diff --git a/publications.bib b/publications.bib index d5ab081cb563ff79fa922ecc4486e9753fb96dc2..820ff33ce35e0e515648477df329b8162ea38327 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},