Publication | Closed Access

Formal design and verification of operational transformation algorithms for copies convergence

Copies ConvergenceEngineeringMechanical VerificationVerificationFormal MethodsData DeduplicationSystems EngineeringFormal DesignOperational Transformation AlgorithmsParallel ProgrammingComputer ScienceEquivalence CheckingFormal TechniqueComputer-aided VerificationFormal Verification