Process algebra with prepositional signals

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.

Authors

• J.C.M. Baeten
• J.A. Bergstra

Keywords

No keywords are indexed for this paper.