5 citations · 9 across the 5 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…