Logicalization of communication traces from parallel execution | IEEE Conference Publication | IEEE Xplore