An Update on dOPT

In the process of implementing Cormack’s correction to the dOPT algorithm, I’ve come across several other papers which provide a more complete background of operational transforms and may be of use in the future. They are listed here for sake of documentation – a review of these papers will be provided once I read them carefully.

Resources

1. A Calculus for Concurrent Update (Cormack 1995)
2. Proof of Correctness of Ressel’s adOPTed Algorithm (Lushman and Cormack 2003)
3. Transformation-Based Concurrency Control in Groupware Systems (Lushman 2002)