Process algebra with propositional signals 1


We consider processes that have transitions labeled with atomic actions, and states labeled with formulas over a propositional logic. These state labels are called signals. A process in a parallel composition may proceed conditionally, dependent on the presence of a signal in the process in parallel. This allows a natural treatment of signal observation.

11 Figures and Tables

Cite this paper

@inproceedings{Baete2003ProcessAW, title={Process algebra with propositional signals 1}, author={J . C . M . Baete and J . A . Bergstrab}, year={2003} }