On the semantics of snapshot isolation

DOI10.1007/978-3-030-11245-5_1OpenAlexW2964250752MaRDI QIDQ2287067

Ori Lahav, Azalea Raad, Viktor Vafeiadis

Publication date: 23 January 2020

Full work available at URL: https://arxiv.org/abs/1805.06196

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Checking robustness between weak transactional consistency models

This page was built for publication: On the semantics of snapshot isolation