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}
}
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
43 Extracted Citations
10 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 43 extracted citations

63 Citations

0510'95'99'04'09'14
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

PONSE, Process algebra with iteration and nesting

  • J. A. BERGSTRA, A. I. BETHKE
  • The Computer Journal
  • 1994

VERHOEF, A congruence theorem for structured operational semantics with predicates

  • C.J.C.M. BAETEN
  • in Proc. CONCUR'93,
  • 1993

BERGSTRA, Process algebra with signals and conditions, in: Programming and mathematical method

  • J.A.J.C.M. BAETEN
  • Proc. Summer School, Marktoberdorf 1990 (M. Broy…
  • 1992

Stable signals and observation in a process specification formalism

  • W. S. BROUWER
  • M.Sc. Thesis,
  • 1990

BERGSTRA, Global renaming operators in concrete process algebra

  • J.A.J.C.M. BAETEN
  • Information & Computation
  • 1988

BOUDOL, Algèbre de processus et synchronisation

  • G. D. AUSTRY
  • Theoretical Computer Science
  • 1984

KLOP, Process algebra for synchronous communication

  • J.W.J.A. BERGSTRA
  • Information & Control
  • 1984

PONSE , Frame based process logics , to appear in

  • J. A. BERGSTRA, A.
  • Proc . Bisim3 , CSLI . [ BRHR

Process algebra with signals and conditions , in : Programming and mathematical method

  • J. C. M. BAETEN, J. A. BERGSTRA
  • Information & Computation

Similar Papers

Loading similar papers…