Reading through the Pedestal presentation (and reading the sample source code) - I see a model based on transforms and operations.
Is it true that Pedestal uses operational transformations (look here and here) similar to what was used in Google Wave?