This sounds very impressive and interesting. Synchronized distributed applications without deadlocks, while worrying only about client-side code? Sounds amazing, I'll have to play with it.