Journal of Computer Science and Technology

, Volume 19, Issue 3, pp 364–373

Process algebra approach to reasoning about concurrent actions

Formal Methods

DOI: 10.1007/BF02944906

Cite this article as:
Feng, Y. & Ying, MS. J. Comput. Sci. & Technol. (2004) 19: 364. doi:10.1007/BF02944906


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.


process global store constraint set bisimulation 

Copyright information

© Science Press, Beijing China and Allerton Press Inc. 2004

Authors and Affiliations

  1. 1.State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and TechnologyPsinghua UniversityBeijingP.R. China