scientific article; zbMATH DE number 7204943

DOI10.4230/LIPIcs.CONCUR.2017.26zbMath1442.68104MaRDI QIDQ5111640

Alexey Gotsman, Andrea Cerone, Hongseok Yang

Publication date: 27 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

distributed databasesdependency graphsweak consistency 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 (4)

Robustness against Read Committed for Transaction Templates with Functional Constraints ⋮ Unnamed Item ⋮ Checking robustness between weak transactional consistency models ⋮ Unnamed Item

Uses Software

• MS SQL Server

Cites Work

• Unnamed Item
• Unnamed Item
• Transaction chopping for parallel snapshot isolation
• Composite Replicated Data Types
• Eventually Consistent Transactions
• Robustness against Consistency Models with Atomic Visibility
• On Thin Air Reads Towards an Event Structures Model of Relaxed Memory
• Scalable Atomic Visibility with RAMP Transactions
• Checking and Enforcing Robustness against TSO
• A Framework for Transactional Consistency Models with Atomic Visibility
• Analysing Snapshot Isolation
• Serializability for eventual consistency: criterion, analysis, and applications
• On verifying causal consistency
• Replicated data types

This page was built for publication: