Replicated data types

DOI10.1145/2535838.2535848zbMath1284.68384OpenAlexW2143725230MaRDI QIDQ5408424

Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski

Publication date: 10 April 2014

Published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2535838.2535848

zbMATH Keywords

replicationeventual consistencyweak memory

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (12)

Verifying Visibility-Based Weak Consistency ⋮ Proving the Safety of Highly-Available Distributed Objects ⋮ From Sequential Specifications to Eventual Consistency ⋮ Unnamed Item ⋮ Consensus on demand ⋮ Brief Announcement: CausalEC: A Causally Consistent Data Storage Algorithm based on Cross-Object Erasure Coding ⋮ Specification and space complexity of collaborative text editing ⋮ Robustness Against Transactional Causal Consistency. ⋮ Checking robustness between weak transactional consistency models ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Categorical specification and implementation of replicated data types

This page was built for publication: Replicated data types