Process algebra with propositional signals

J.C.M. Baeten, J.A. Bergstra

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

39 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Process algebra with propositional signals'. Together they form a unique fingerprint.

Computer Science

Mathematics