Replicated data types that unify eventual consistency and observable atomic consistency

DOI10.1016/j.jlamp.2020.100561zbMath1451.68056OpenAlexW3026503565MaRDI QIDQ780057

Philipp Haller, Xin Zhao

Publication date: 14 July 2020

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2020.100561

zbMATH Keywords

eventual consistencydistributed programmingactor modelatomic consistencyCRDT

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Uses Software

• AspectJ
• Maude
• Cassandra

Cites Work

• Unnamed Item
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Conditional rewriting logic as a unified model of concurrency
• Building secure file systems out of byzantine storage
• Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude