Functional and Performance Modeling of Concurrency in VCC. - William W. LaRue; Sherry Solden; Bishnupriya Bhattacharya (Concurrency and Hardware Design, 2002)