We consider processes that have transitions labeled with atomic actions, and states labeled\ud with formulas over a propositional logic. These state labels are called signals. A process in a\ud parallel composition may proceed conditionally, dependent on the presence of a signal in\ud the process in parallel. This allows a natural treatment of signal observation
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.