minor edit: serial equivalence --> serializable execution