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