Formal design and verification of operational transformation algorithms for copies convergence

DOI10.1016/J.TCS.2005.09.066zbMATH Open1086.68019OpenAlexW2015669758MaRDI QIDQ820129FDOQ820129

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

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

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)

Cites Work

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

Cited In (10)

• Formal design and verification of operational transformation algorithms for copies convergence
• Title not available (Why is that?)
• 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
• Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms

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)