Formal design and verification of operational transformation algorithms for copies convergence

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Computing, Computer Science, Formal Methods +16

Groupware: some issues and experiences

Clarence A. Ellis, Simon Gibbs, Gail L. Rein · Communications of the ACM · 1991 · 2.8K citations · Full text

Business, Information Systems, Decision Support Systems +4

Concurrency control in groupware systems

Colter Ellis, S. Gibbs · ACM SIGMOD Record · 1989 · 867 citations

Computing, Computer Science, Computer Systems +17

Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems

Chengzheng Sun, Xiaohua Jia, Yanchun Zhang et al. · ACM Transactions on Computer-Human Interaction · 1998 · 584 citations

Computing, Computer Science, Computer Systems +14

Operational transformation in real-time group editors

Chengzheng Sun, Clarence A. Ellis · 1998 · 497 citations · Full text

Computing, Computer Science, Information Technology +5