8 citations · 18 across the 21 of their papers we have counts for
1 paper · 1 filter
Chinmay Narayan, Subodh Sharma, Shibashis Guha +1
Nondeterminism in scheduling is the cardinal reason for difficulty in proving correctness of concurrent programs. A powerful proof strategy was recently proposed [6] to show the co…