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:
Full metadata record
Files in This Item:
Filename Description Size
2008004826OK.pdf914.67 kB
Adobe PDF
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: