Replicated abstract data types: building blocks for collaborative applications

DOI10.1016/J.JPDC.2010.12.006zbMATH Open1219.68092OpenAlexW2134308710WikidataQ125030986 ScholiaQ125030986MaRDI QIDQ635322FDOQ635322

Authors: Hyun-Gul Roh, Myeongjae Jeon, Jinsoo Kim, Joonwon Lee 

Publication date: 19 August 2011

Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpdc.2010.12.006

Recommendations

• Convergent and commutative replicated data types
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1696682
• scientific article; zbMATH DE number 1950693
• Replicated data types, specification, verification, optimality

zbMATH Keywords

collaborationdistributed data structuresoptimistic algorithmoptimistic replicationreplicated abstract data types

Mathematics Subject Classification ID

Data structures (68P05)

Cites Work

• Title not available (Why is that?)
• Time, clocks, and the ordering of events in a distributed system
• Proof of correctness of Ressel's adopted algorithm
• An Undo Framework for P2P Collaborative Editing
• Commutativity-based concurrency control for abstract data types
• Title not available (Why is that?)

Cited In (7)

• Title not available (Why is that?)
• Specification and space complexity of collaborative text editing
• Implementing set objects in dynamic distributed systems
• Strong eventual consistency of the collaborative editing framework WOOT
• Title not available (Why is that?)
• Toward a model for shared data abstraction with performance
• Replicated data types that unify eventual consistency and observable atomic consistency

Uses Software

• TLC
• Logoot

This page was built for publication: Replicated abstract data types: building blocks for collaborative applications

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