Alexander Totok Vijay Karamcheti Modeling of concurrent web sessions with bounded inconsistency in shared data. 830-847 2007 67 J. Parallel Distrib. Comput. 7 http://dx.doi.org/10.1016/j.jpdc.2007.03.004 db/journals/jpdc/jpdc67.html#TotokK07