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