Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms (original) (raw)
Related papers
On Model-Checking Optimistic Replication Algorithms
2009
Symbolic Model-Checking of Optimistic Replication Algorithms
2010
Formal verification of replication on a distributed data space architecture
Proceedings of the 2002 ACM symposium on Applied computing - SAC '02, 2002
A formalism for consistency and partial replication
2004
Brief Announcement: A formalism for consistency and partial replication
2004
Formal design and verification of operational transformation algorithms for copies convergence
2006
Agreeing to agree: Conflict resolution for optimistically replicated data
2006
How to design optimistic operations for peer-to-peer replication
Proceedings of the 9th Joint Conference on Information Sciences (JCIS), 2006
Certified mergeable replicated data types
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
Model Checking the Deferred Update Replication Protocol
Towards Synchronizing Linear Collaborative Objects with Operational Transformation
Gerald Oster, Abdessamad Imine
2005
Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data, 2021
Formal Fault-Tolerance Proofs for Distributed Algorithms
Fault-Tolerant Distributed Theorem Proving
Lecture Notes in Computer Science, 1999
Science of Computer Programming
Decentralised commitment for optimistic semantic replication
2007
Inductive Theorem Prover Based Veri…cation of Concurrent Algorithms
2000
syncope: Automatic Enforcement of Distributed Consistency Guarantees
2017
On Synthesizing a Consistent Operational Transformation Approach
IEEE Transactions on Computers, 2000
A constraint-based formalism for consistency in replicated systems
2005
RepliX: A mechanism to replication of xml data
es.ufc.br
Replicated abstract data types: Building blocks for collaborative applications
Journal of Parallel and Distributed Computing, 2011
Run-Time Verification of Optimistic Concurrency
Lecture Notes in Computer Science, 2010
Towards efficient consistency management for informal applications
Int. Journal of Computer …, 2004
2005
Deductive verification of distributed groupware systems
2004
Verifying a distributed list system: A case history
Formal Aspects of Computing, 1997
Theorem Proving Support for View Consistency Checking
L'objet, 2003
Strong eventual consistency of the collaborative editing framework WOOT
Distributed Computing, 2022
Conflict-free replicated data types
2011
Formal Verification of Distributed Algorithms
Lecture Notes in Computer Science, 2012
COPLA: A platform for eager and lazy replication in networked databases
Proc. of the 5th …, 2003
Writes that fall in the forest and make no sound: Semantics-based adaptive data consistency