@inproceedings{1f3b7d9644b540b5a1f6b6cd4c3bdb96,
title = "Process algebra with propositional signals",
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 observation",
author = "J.C.M. Baeten and J.A. Bergstra",
year = "1995",
language = "English",
series = "Computing Science Reports",
publisher = "Technische Universiteit Eindhoven",
pages = "213--228",
editor = "A.J. Ponse and C. Verhoef and {Vlijmen, van}, S.F.M.",
booktitle = "Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, May 17-18, 1995)",
}