1 paper
R. Govind, S. Krishna, Sanchari Sil +1
In a seminal work, Gibbons and Korach studied the complexity of deciding whether an observed sequence of reads and writes of a multi-threaded program admits a sequentially consiste…