996 citations · 1.7k across the 31 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2017★ 5 cited
Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
Xiaoxiao Yang, Joost-Pieter Katoen, Hao Wu
The verification of linearizability -- a key correctness criterion for concurrent objects -- is based on trace refinement whose checking is PSPACE-complete. This paper suggests to…
cs.PL2016★ 4 cited
Proving Linearizability via Branching Bisimulation
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…