Formal design and verification of operational transformation algorithms for copies convergence

DOI10.1016/J.TCS.2005.09.066MaRDI QIDQ820129zbMATH OpenOpenAlexFDO

Authors Abdessamad Imine, Michaël Rusinowitch, Gérald Oster, Pascal Molli

Publication date 6 April 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.09.066

zbMATH Keywords

replicationautomated verificationalgebraic specificationoperational transformationdistributed groupware systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Abstract data types; algebraic specification (68Q65)

Recommendations

• Algebraic Methodology and Software Technology
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Verified Operational Transformation for Trees
• scientific article
• Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms

Cites work

• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• scientific article; zbMATH DE number 944424 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• A hidden agenda
• Automated Mathematical Induction
• Behavioural and abstractor specifications
• Formal design and verification of operational transformation algorithms for copies convergence
• Incorporating decision procedures in implicit induction.
• Observational proofs by rewriting.
• On the move to meaningful internet systems 2002: CoopIS, DOA, and ODBASE. Confederated international conferences CoopIS, DOA, and ODBASE 2002. Proceedings
• Proof of correctness of Ressel's adopted algorithm

Cited in

(10)

• Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
• Formal design and verification of operational transformation algorithms for copies convergence
• scientific article; zbMATH DE number 7561440 (Why is no real title available?)
• An analysis of intention preservation in group editors
• Specification and space complexity of collaborative text editing
• Normalization of edit sequences for text synchronization
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Verified Operational Transformation for Trees
• A Mechanically Verified AIG-to-BDD Conversion Algorithm
• Algebraic Methodology and Software Technology

This page was built for publication: Formal design and verification of operational transformation algorithms for copies convergence

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