diff --git a/_posts/2020-04-27-ecoop20.md b/_posts/2020-04-27-ecoop20.md index cb91d983ee6a4b5b87fea8dec796c85fdf666268..66fefee564a92bf0abb20baaa90caebaef5efdbf 100644 --- a/_posts/2020-04-27-ecoop20.md +++ b/_posts/2020-04-27-ecoop20.md @@ -17,9 +17,10 @@ line-by-line and have been thoroughly tested. An associated artifact was also accepted by the evaluation committee. Shale, Andrea, Azalea and Philippa's paper, [Data Consistency in Transactional Storage Systems: -A Centralised Semantics presents novel interleaving operational semantics for +A Centralised Semantics](https://2020.ecoop.org/details/ecoop-2020-papers/21/Data-Consistency-in-Transactional-Storage-Systems-A-Centralised-Semantics), +presents novel interleaving operational semantics for describing the client-observable behaviour of atomic transactions -on distributed key-value stores](https://2020.ecoop.org/details/ecoop-2020-papers/21/Data-Consistency-in-Transactional-Storage-Systems-A-Centralised-Semantics). +on distributed key-value stores. ECOOP, the European Conference on Object-Oriented Programming, is Europe’s longest-standing annual Programming Languages (PL) conference, bringing together researchers,