An J.,The Logistics Academy Beijing |
Liu Z.,The Logistics Academy Beijing |
Qian L.F.,The Logistics Academy Beijing
Applied Mechanics and Materials | Year: 2014
Process algebra is an algebra method of concurrency theory. Based on the relevant theories of process algebra, it is set forth several class process algebras and the important role they played in the development history of research on process algebra according to two breakthrough of process algebra. Finally it is introduced the applications of algebra process in the protocol verification, workflow description and other areas. © (2014) Trans Tech Publications, Switzerland.