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
[[quiescent consistency]] <ref name="sahni">
</ref>) specify the structures properties sequentially, and map its concurrent executions to
a collection of sequential ones. There are various approaches for
| |||