A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects

Chao Wang, Ruijia Li, Yang Zhou +5

In this paper, we systematically investigate the connection between linearizable objects and forward simulation. We prove that the sets of linearizable objects satisfying wait-free…