Logicalization of communication traces from parallel execution. - Qiang Xu 005; Jaspal Subhlok; Rong Zheng 001; Sara Voss (IISWC, 2009)