9 citations · 29 across the 14 of their papers we have counts for
1 paper · 2 filters
Simon Doherty, John Derrick
Most work on the verification of concurrent objects for shared memory assumes sequential consistency, but most multicore processors support only weak memory models that do not prov…