A Framework for Transactional Consistency Models with Atomic Visibility

DOI10.4230/LIPIcs.CONCUR.2015.58zbMath1374.68064OpenAlexW2293215590MaRDI QIDQ5357694

Giovanni Bernardi, Andrea Cerone, Alexey Gotsman

Publication date: 12 September 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.CONCUR.2015.58

zbMATH Keywords

replicationtransactionsconsistency models

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (6)

Robustness against Read Committed for Transaction Templates with Functional Constraints ⋮ Unnamed Item ⋮ Checking robustness between weak transactional consistency models ⋮ Unnamed Item ⋮ Categorical specification and implementation of replicated data types ⋮ Read atomic transactions with prevention of lost updates: ROLA and its formal analysis

This page was built for publication: A Framework for Transactional Consistency Models with Atomic Visibility