5 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
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…