Formal design and verification of operational transformation algorithms for copies convergence (original) (raw)
Related papers
Achieving convergence with operational transformation in distributed groupware systems
2004
Towards Synchronizing Linear Collaborative Objects with Operational Transformation
Gerald Oster, Abdessamad Imine
2005
On Model-Checking Optimistic Replication Algorithms
2009
Symbolic Model-Checking of Optimistic Replication Algorithms
2010
Deductive verification of distributed groupware systems
2004
LICRA: A replicated-data management algorithm for distributed synchronous groupware applications
Parallel Computing, 1997
On Consistency of Operational Transformation Approach
On Synthesizing a Consistent Operational Transformation Approach
IEEE Transactions on Computers, 2000
Proving Correctness of Transformation Functions in Real-Time Groupware
2003
Proving Correctness of Transformation Functions Functions in Real-Time Groupware
2003
A realistic evaluation of consistency algorithms for replicated files
Jehan-Francois Paris, Darrell D E Long
1988
2016
An object-oriented approach for replication management
[1992 Proceedings] Second Workshop on the Management of Replicated Data, 1992
Voting and relocation strategies preserving consistency among replicated files
Lecture Notes in Computer Science, 1990
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
2007
On the semantics and implementation of replicated data types
Science of Computer Programming, 2018
Replication in Distributed Systems and its Improvements
International Journal of Current Microbiology and Applied Sciences, 2019
Experience of adaptive replication in distributed file systems
1996
Voting with witnesses: A consistency scheme for replicated files
Proceedings of the 6th International Conference on …, 1986
Understanding replication in databases and distributed systems
Proceedings 20th IEEE International Conference on Distributed Computing Systems, 2000
Inclusive transformation consistency control algorithm in distributed system
Technology, Innovation and Education, 2016
Evaluation of IntraGroup Optimistic Data Replication in P 2 P Groupware Systems
2012
A Survey on Operational Transformation Algorithms: Challenges, Issues and Achievements
International Journal of Computer Applications, 2010
Resource sharing for replicated synchronous groupware
2001
Certified mergeable replicated data types
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
The Comparison Of Data Replication In Distributed Systems
2011
ROI: an invocation mechanism for replicated objects
Jose Manuel Bernabéu Auban, Francesc D Muñoz-Escoí
Proceedings Seventeenth IEEE Symposium on Reliable Distributed Systems (Cat. No.98CB36281), 1998
A constraint-based formalism for consistency in replicated systems
2005
The Performance of Available Copy Protocols for the Management of Replicated Data
Jehan-Francois Paris, Darrell D E Long
Performance Evaluation, 1990