Highly Influenced

# Process Algebra with Propositional Signals

@article{Baeten1997ProcessAW, title={Process Algebra with Propositional Signals}, author={Jos C. M. Baeten and Jan A. Bergstra}, journal={Theor. Comput. Sci.}, year={1997}, volume={177}, pages={381-405} }

- Published 1997 in Theor. Comput. Sci.
DOI:10.1016/S0304-3975(96)00253-8

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.

Highly Cited

This paper has 63 citations. REVIEW CITATIONS

#### From This Paper

##### Figures, tables, results, connections, and topics extracted from this paper.

43 Extracted Citations

10 Extracted References

Similar Papers

#### Citing Papers

##### Publications influenced by this paper.

#### 63 Citations

Citations per Year

Semantic Scholar estimates that this publication has

**63**citations based on the available data.See our **FAQ** for additional information.

#### Referenced Papers

##### Publications referenced by this paper.

Showing 1-10 of 10 references