Abstract
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
... read more