Data Consistency in Transactional Storage Systems: A Centralised Semantics (2020)

First Author: Xiong S.
Attributed to:  VeTSpec: Verified Trustworthy Software Specification funded by SPF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://doi.org/10.4230/LIPIcs.ECOOP.2020.21

Type: Conference/Paper/Proceeding/Abstract

Volume: 166