Parallel Program Graphs