Pages that link to "Item:Q820129"

The following pages link to Formal design and verification of operational transformation algorithms for copies convergence (Q820129):

Displaying 5 items.

• Formal design and verification of operational transformation algorithms for copies convergence (Q820129) (← links)
• Specification and space complexity of collaborative text editing (Q2220887) (← links)
• Verified Operational Transformation for Trees (Q2829271) (← links)
• (Q5091083) (← links)
• Normalization of edit sequences for text synchronization (Q5198935) (← links)