A Linearizability-based Hierarchy for Concurrent Specifications: Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more concurrent behaviors of objects.

This article discusses the difficulties encountered with multicore processors which are used to increase the clock speed of microprocessors but can act in asynchronous and unpredictable ways. One approach to address this is linearizability which is the de facto correctness condition to reason about safety properties in concurrent programming but only deals with sequential specifications.