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]
@inproceedings{JunuzovicCD05,
title = {Formally Analyzing Two-user Centralized and Replicated Architectures},
author = {Sasa Junuzovic and Goopeel Chung and Prasun Dewan},
year = {2005},
url = {http://www.ecscw.org/2005/paper05.pdf},
tags = {architecture},
researchr = {https://researchr.org/publication/JunuzovicCD05},
cites = {0},
citedby = {0},
pages = {83-102},
booktitle = {Proceedings of the Ninth European Conference on Computer Supported Cooperative Work, 18-22 September 2005, Paris, France},
editor = {Hans Gellersen and Kjeld Schmidt and Michel Beaudouin-Lafon and Wendy E. Mackay},
publisher = {Springer},
isbn = {1-4020-4022-9},
}