scientific article; zbMATH DE number 7345209

MaRDI QIDQ3388709zbMATH OpenFDO

Authors Aurel Randolph, H. Boucheneb, Abdessamad Imine, Alejandro Quintero

Publication date 6 May 2021

Full work available at URL https://arxiv.org/abs/1302.3292, http://eptcs.web.cse.unsw.edu.au/paper.cgi?Infinity2012.5

Mathematics Subject Classification ID

Distributed systems (68M14) Distributed algorithms (68W15) Algorithms on strings (68W32)

Recommendations

• On Synthesizing a Consistent Operational Transformation Approach
• Transformational approach to program concretization
• Methods to ensure the invariance of transformation processes: reveal and systematization
• scientific article; zbMATH DE number 1304052
• On the structure of transformation models
• The transformational approach to program development
• scientific article; zbMATH DE number 624771

Cited in

(8)

• Specification and space complexity of collaborative text editing
• Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
• Normalization of edit sequences for text synchronization
• Algebraic Methodology and Software Technology
• Specification and complexity of collaborative text editing
• An analysis of intention preservation in group editors
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Formal design and verification of operational transformation algorithms for copies convergence

This page was built for publication:

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