diff --git a/_posts/2020-04-27-ecoop20.md b/_posts/2020-04-27-ecoop20.md index 2b8056a17a9093d4e8c9e66f0af21fa8d31ea677..c0be99c1f1c9134e1c37e0a9b40a7bb975507637 100644 --- a/_posts/2020-04-27-ecoop20.md +++ b/_posts/2020-04-27-ecoop20.md @@ -17,7 +17,7 @@ accepted by the evaluation committee. Shale, Andrea, Azalea and Philippa's paper, [Data Consistency in Transactional Storage Systems: 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 +presents an interleaving operational semantics for describing the client-observable behaviour of atomic transactions on distributed key-value stores.