Google Docs is using what's called EventSourcing, in case you aren't aware of that. It's one way to make collaborative editing possible (probably the easiest?).

http://martinfowler.com/eaaDev/EventSourcing.html