996 citations · 1.7k across the 31 of their papers we have counts for
1 paper · 1 filter
Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin +1
Linearizability and progress properties are key correctness notions for concurrent objects. However, model checking linearizability has suffered from the PSPACE-hardness of the tra…