Decidability and Complexity for Quiescent Consistency and its Variations

Brijesh Dongol, Robert M. Hierons

Quiescent consistency is a notion of correctness for a concurrent object that gives meaning to the object's behaviours in quiescent states, i.e., states in which none of the object…