Essential reading for would-be patch theorists.

Survey papers

Revision Control Systems

Darcs itself:

Seemingly Darcs-like:

Other work:

Recent revision control research

Operational Transformations

As suggested by Team ECOO

  • The SOCT4 algorithm used by SO6 Nicolas Vidot, Michelle Cart, Jean Ferrié and Maher Suleiman, Copies convergence in a distributed real-time collaborative environment, Proceedings of CSCW 2000

  • OT as used by Google Wave David A. Nichols, Pavel Curtis, Michael Dixon and John Lamping, High-latency, low-bandwidth windowing in the Jupiter collaboration system, Proceedings of UIST 1995

  • Proofs of correctness of Ressel’s adOPTed algorithm (Lushman and Cormack)

    title = "Proof of correctness of Ressel's adOPTed algorithm",
    journal = "Information Processing Letters",
    volume = "86",
    number = "6",
    pages = "303 - 310",
    year = "2003",
    note = "",
    issn = "0020-0190",
    doi = "DOI: 10.1016/S0020-0190(03)00227-8",
    url = "",
    author = "Brad Lushman and Gordon V. Cormack",
    keywords = "Distributed computing",
    keywords = "Distributed systems",
    keywords = "Concurrency control",
    keywords = "Groupware"

Articles we’ve stumbled upon

Conflict-free revision control (eg. with GUIDs)

Useful for future research