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