Rough set methods for the synthesis and analysis of concurrent processes - Suraj, Zbigniew 19XX- (IPI PAN, 1999)