Commit 7aa4b7c5 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Update publications.bib

parent a8b71dd0
......@@ -1749,7 +1749,25 @@ and C, and use these tools to find bugs in real-world code,
thus demonstrating the viability of our parametric approach.},
author = {Shale Xiong and
Andrea Cerone and
Azalea Raad and
Philippa Gardner},
title = {Data Consistency in Transactional Storage Systems: a Centralised Approach},
booktitle = {34th European Conference on Object-Oriented Programming (ECOOP 2020)},
project = {concurrency},
year = {2020},
abstract = {We introduce an interleaving operational semantics for describing the
client-observable behaviour of atomic transactions on distributed key-value stores.
Our semantics builds on abstract states comprising centralised, global key-value
stores and partial client views. We provide operational definitions of consistency
models for our abstract states which we show to be equivalent to the well known
declarative definitions of consistency model on abstract executions. We explore
two applications, verifying that the COPS replicated database and the Clock-SI
partitioned database satisfy their consistency models using trace refinement,
and proving invariant properties of client programs.},
@Comment{jabref-meta: databaseType:bibtex;}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment