scientific article; zbMATH DE number 7378585

DOI10.4230/LIPIcs.CONCUR.2018.41MaRDI QIDQ5009459

Suresh Jagannathan, Kartik Nagar

Publication date: 4 August 2021

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

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

zbMATH Keywords

weak consistencyserializabilitydatabase applications

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Robustness Against Transactional Causal Consistency., Checking robustness between weak transactional consistency models

Uses Software

• CHESS

Cites Work

• Unnamed Item
• 'Cause I'm strong enough: Reasoning about consistency choices in distributed systems
• Eventually Consistent Transactions
• Robustness against Consistency Models with Atomic Visibility
• Scalable Atomic Visibility with RAMP Transactions
• A Framework for Transactional Consistency Models with Atomic Visibility
• Analysing Snapshot Isolation
• Seeing is Believing
• Serializability for eventual consistency: criterion, analysis, and applications