Process algebra with propositional signals
scientific article; zbMATH DE number 1178547
scientific article