May-happen-in-parallel analysis with static vector clocks.

Qing Zhou, Lian Li, Lei Wang, Jingling Xue, Xiaobing Feng

Browse the full CGO paper archive.