@@ -3,12 +3,12 @@ title: Paper accepted and paper published
...
@@ -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
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)
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),
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)
[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,
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.
using the example of a counter module to illustrate the benefits and limitations of each.
