Content deleted Content added
Line 64:
Therefore, many mainstream approaches for arguing the safety properties of a
concurrent data structure (such as [[serializability]], [[linearizability]], [[sequential consistency]], and
</ref>) specify the structures properties
sequentially, and map its concurrent executions to
| |||