3 records found
1
Guaranteeing Correctness for Collaboration on Documents Using an Optimal Locking Protocol
A Notion of Serializability for Document Editing and Corresponding Optimal Locking Protocols
PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness