Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk) | Publicación