We use cookies to improve your experience with our site.
Advanced Search
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).
shu

Process Algebra Approach to Reasoning About Concurrent Actions

    Abstract
  • 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.
    • FullText(HTML)
  • loading
    • References (0)
    • Relative Articles
  • Supplements (0)

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return