papers
Publications (3)
cs.DB2015
The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis
Sudip Roy, Lucja Kot, Gabriel Bender +5
cs.DB2012
The Complexity of Social Coordination
Konstantinos Mamouras, Sigal Oren, Lior Seeman +2
cs.DB2009
Cooperative Update Exchange in the Youtopia System
Lucja Kot, Christoph Koch