We use cookies to improve your experience with our site.
Yuan Feng, Ming-Sheng Ying. Process Algebra Approach to Reasoning About Concurrent Actions[J]. Journal of Computer Science and Technology, 2004, 19(3).
Citation: Yuan Feng, Ming-Sheng Ying. Process Algebra Approach to Reasoning About Concurrent Actions[J]. Journal of Computer Science and Technology, 2004, 19(3).

Process Algebra Approach to Reasoning About Concurrent Actions

  • A reasonable transition rule is proposed for synchronized actions and some equational properties of bisimilarity and weak bisimilarity in the process algebra for reasoning about concurrent actions are presented.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return