Ignoring nonessential interleavings in assertional reasoning on concurrent programs
1980 ◽
Vol 2
(3)
◽
pp. 338-358
◽
Keyword(s):