Control-Flow Aware Communication and Conflict Analysis of Parallel Processes

by Axel Siebenborn, Alexander Viehl, Oliver Bringmann, and Wolfgang Rosenstiel
In 2007 Asia and South Pacific Design Automation Conference, pages 32–37. IEEE, 2007.