From dbaa7d32f009f03a8db787feb7be9fa7af9bc9ed Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Mon, 27 Apr 2020 15:02:46 +0100 Subject: [PATCH] Update 2020-04-27-ecoop20.md --- _posts/2020-04-27-ecoop20.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/_posts/2020-04-27-ecoop20.md b/_posts/2020-04-27-ecoop20.md index cb91d98..66fefee 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, -- GitLab