 Their approaches differ from those listed in the table.They use vector timestamps for causality preservation.The other correctness conditions are "single-"/"multi-" operation effects relation preservation or "admissibility" preservation.