Sasa Junuzovic, Goopeel Chung, Prasun Dewan. Formally Analyzing Two-user Centralized and Replicated Architectures. In Hans Gellersen, Kjeld Schmidt, Michel Beaudouin-Lafon, Wendy E. Mackay, editors, Proceedings of the Ninth European Conference on Computer Supported Cooperative Work, 18-22 September 2005, Paris, France. pages 83-102, Springer, 2005. [doi]