Process Algebra with Action Dependencies

Arend Rensink, Heike Wehrheim

    Research output: Contribution to journalArticleAcademicpeer-review

    9 Citations (Scopus)
    26 Downloads (Pure)

    Search results

    • 1999

      Process Algebra with Action Dependencies

      Rensink, A. & Wehrheim, H., Feb 1999, Enschede: University of Twente. 59 p. (CTIT technical report series; no. TR-CTIT-99-02)

      Research output: Book/ReportReportProfessional

      Open Access
      File
      41 Downloads (Pure)