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%
  • Semantics 60%
  • Denotational Semantics 20%
  • Axiomatization 20%
  • Standards 20%
  9 Citations (Scopus)

  26 Downloads (Pure)