(1) State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Psinghua University, 100084 Beijing, P.R. China
Abstract:
A reasonable transition rule is proposed for synchronized actions and some equational properties ofbisimilarity and weak bisimilarity in the process algebra for reasoning about concurrent actions are presented.