strictly deterministic serializability