Proof of correctness of Ressel's adopted algorithm
From MaRDI portal
Publication:1007634
DOI10.1016/S0020-0190(03)00227-8zbMath1162.68373MaRDI QIDQ1007634
Brad Lushman, Gordon V. Cormack
Publication date: 23 March 2009
Published in: Information Processing Letters (Search for Journal in Brave)
Related Items
Formal design and verification of operational transformation algorithms for copies convergence, Replicated abstract data types: building blocks for collaborative applications, Normalization of edit sequences for text synchronization, Verified Operational Transformation for Trees
Cites Work