6 citations · 6 across the 1 of their papers we have counts for
1 paper
Ernie Cohen, Norbert Schirmer
When verifying a concurrent program, it is usual to assume that memory is sequentially consistent. However, most modern multiprocessors depend on store buffering for efficiency, an…