Parts of Google's Operational Transformation algorithms have been open sourced, here's a good starting point: http://stackoverflow.com/questions/2043165/operational-trans...
OT works naturally with linear data structures, but is tougher to use correctly with more complex data, which Mozilla seems to have here with Towtruck.
I'm excited to see what approach they choose!