Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI QIDQ5312983zbMATH OpenOpenAlexFDO

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

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98770

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Formal design and verification of operational transformation algorithms for copies convergence
• Verified Operational Transformation for Trees
• Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
• scientific article
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Cited in

(4)

• Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Formal design and verification of operational transformation algorithms for copies convergence
• Exploiting schemas in data synchronization

This page was built for publication: Algebraic Methodology and Software Technology

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