1.Previous
3.Next

threads. It is quiteintuitive to specify how abstract data structuresbehave in a sequential setting in which there are no interleavings.Therefore, many mainstream approaches for arguing the safety properties of aconcurrent data structure (such as serializability, linearizability, sequential consistency, andquiescent consistency) specify the structures propertiessequentially, and map its concurrent executions toa collection

1.Previous
3.Next