11 citations · 32 across the 5 of their papers we have counts for
5 papers
Data Consistency in Transactional Storage Systems: a Centralised Approach
Shale Xiong, Andrea Cerone, Azalea Raad +1
We introduce an interleaving operational semantics for describing the client-observable behaviour of atomic transactions on distributed key-value stores. Our semantics builds on ab…
Algebraic Laws for Weak Consistency (Extended Version)
Andrea Cerone, Alexey Gotsman, Hongseok Yang
Modern distributed systems often rely on so called weakly-consistent databases, which achieve scalability by sacrificing the consistency guarantee of distributed transaction proces…
Modelling MAC-Layer Communications in Wireless Systems
Andrea Cerone, Matthew Hennessy, Massimo Merro
We present a timed process calculus for modelling wireless networks in which individual stations broadcast and receive messages; moreover the broadcasts are subject to collisions.…
Modelling Probabilistic Wireless Networks
Andrea Cerone, Matthew Hennessy
We propose a process calculus to model high level wireless systems, where the topology of a network is described by a digraph. The calculus enjoys features which are proper of wire…
Process Behaviour: Formulae vs. Tests (Extended Abstract)
Andrea Cerone, Matthew Hennessy
Process behaviour is often defined either in terms of the tests they satisfy, or in terms of the logical properties they enjoy. Here we compare these two approaches, using extensio…