A Graph Grammar to Transform DAGs into Graphs Describing Multithreaded Programs | IEEE Conference Publication | IEEE Xplore