Modeling of concurrent web sessions with bounded inconsistency in shared data