115
click to vote
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...