Robustness Against Transactional Causal Consistency

Distributed storage systems and databases are widely used by various types of applications. Transactional access to these storage systems is an important abstraction allowing application programmers to consider blocks of actions (i.e., transactions) as executing atomically. For performance reasons,...

Full description

Bibliographic Details
Main Authors: Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2021-02-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/5987/pdf