996 citations · 1.7k across the 31 of their papers we have counts for
1 paper · 2 filters
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…