Process algebra with propositional signals door J.C.M. Baeten