diff --git a/_posts/2018-04-18-papers-accepted-april-18.md b/_posts/2018-04-18-papers-accepted-april-18.md index 6d82db1b37902e43d2903b64178fc9308a5b014c..6417256965d7bffd4782f0209e1560a45208c102 100644 --- a/_posts/2018-04-18-papers-accepted-april-18.md +++ b/_posts/2018-04-18-papers-accepted-april-18.md @@ -3,12 +3,12 @@ title: Paper accepted and paper published --- A paper co authored by current and former researchers of the group has just been -publised and another has just been accepted to ECOOP +publised and second paper has just been accepted to ECOOP A paper by [Thomas Dinsdale-Young](https://cs.au.dk/~tyoung/), [Pedro da Rocha Pinto](https://psvg.doc.ic.ac.uk/people/da-rocha-pinto.html) and [Philippa Gardner](https://psvg.doc.ic.ac.uk/people/gardner.html), [A perspective on specifying and verifying concurrent modules](https://www.sciencedirect.com/science/article/pii/S2352220817300871) -has just been published in the Journal of Logical and Algebraic Methods in Programming. +has just been published in the [Journal of Logical and Algebraic Methods in Programming](https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming). The paper offers a survey of a range of techniques for specifying concurrent modules, using the example of a counter module to illustrate the benefits and limitations of each.