Journal of Computer Science and Technology

, Volume 19, Issue 3, pp 364–373

Process algebra approach to reasoning about concurrent actions

Formal Methods


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 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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

Personalised recommendations