Process algebra approach to reasoning about concurrent actions
- Publication Type:
- Journal Article
- Journal of Computer Science and Technology, 2004, 19 (3), pp. 364 - 373
- Issue Date:
Copyright Clearance Process
- Recently Added
- In Progress
- Closed Access
This item is closed access and not available.
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.
Please use this identifier to cite or link to this item: