From Sequential Specifications to Eventual Consistency

DOI10.1007/978-3-662-47666-6_20zbMath1440.68020OpenAlexW945094086MaRDI QIDQ3449480

Radha Jagadeesan, James Riely

Publication date: 4 November 2015

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-47666-6_20

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Distributed systems (68M14)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abstraction for concurrent objects
• Composite Replicated Data Types
• Eventually Consistent Transactions
• Time, clocks, and the ordering of events in a distributed system
• Between Linearizability and Quiescent Consistency
• Replicated data types
• Verifying eventual consistency of optimistic replication systems

This page was built for publication: From Sequential Specifications to Eventual Consistency