Formally Analyzing Two-user Centralized and Replicated Architectures.

Sasa Junuzovic, Goopeel Chung, Prasun Dewan

Browse the full ECSCW paper archive.