Process algebra with signals and conditions - Baeten, Josephus C. M.; Bergstra, Jan A. 1951- (1991)