Process Algebra with Action Dependencies

Research output

Research output per year 2001 2001 2001

• 1 Article

Research output per year

Research output per year

Search results

• 2001

  Process Algebra with Action Dependencies

  Rensink, A. & Wehrheim, H., 2001, In: Acta informatica. 38, 3, p. 155-234 80 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  • Process Algebra 100%
  • Branching Time 20%
  • Operational Semantics 20%
  • Reactive System 20%
  • Parallelism 20%

  10   Link opens in a new tab Citations (Scopus)

  26 Downloads (Pure)