From serializable to causal transactions for collaborative applications