Logicalization of communication traces from parallel execution