Modeling and Verification of Component-Based Systems with Data Passing Using BIP.

Chen Su, Min Zhou, Liangze Yin, Hai Wan, Ming Gu

Browse the full ICECCS paper archive.