Process algebra with propositional signals

J.C.M. Baeten, J.A. Bergstra

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

33 Downloads (Pure)

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
Original languageEnglish
Title of host publicationProceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, May 17-18, 1995)
EditorsA.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Pages213-228
Publication statusPublished - 1995

Publication series

NameComputing Science Reports
Volume95-14
ISSN (Print)9432-0101

Fingerprint

Dive into the research topics of 'Process algebra with propositional signals'. Together they form a unique fingerprint.

Cite this