From sequential specifications to eventual consistency

DOI10.1007/978-3-662-47666-6_20MaRDI QIDQ3449480zbMATH OpenOpenAlexFDO

Authors Radha Jagadeesan, J. 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

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

Recommendations

• Convergent and commutative replicated data types
• Eventual consistency for CRDTs
• Replicated data types, specification, verification, optimality
• Eventually consistent transactions
• Eventually-serializable data services

Cites work

• Abstraction for concurrent objects
• Between linearizability and quiescent consistency. Quantitative quiescent consistency
• Composite replicated data types
• Convergent and commutative replicated data types
• Eventually consistent transactions
• scientific article; zbMATH DE number 4060692 (Why is no real title available?)
• scientific article; zbMATH DE number 177823 (Why is no real title available?)
• Replicated data types, specification, verification, optimality
• Time, clocks, and the ordering of events in a distributed system
• Verifying eventual consistency of optimistic replication systems

Cited in

(3)

• Eventual consistency for CRDTs
• Eventually consistent transactions
• scientific article; zbMATH DE number 7141420 (Why is no real title available?)

This page was built for publication: From sequential specifications to eventual consistency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3449480)