COSY +an environment for development and analysis of concurrent and distributed systems - Lauer, Peter E.; Shields, Michael William 1950- (1980)