Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency aProducator: CRC PR INC