@@ -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
