4 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
Michael J. Sullivan, Karl Crary, Salil Joshi
Crary and Sullivan's Relaxed Memory Calculus (RMC) proposed a new declarative approach for writing low-level shared memory concurrent programs in the presence of modern relaxed-mem…