Title :
Polynomial process algebra
Author :
Liu, Bai ; Wu, Jinzhao
Author_Institution :
Chengdu Inst. of Comput. Applic., Chengdu, China
Abstract :
In this paper we present a polynomial process algebra (PPA) like basic process algebra which can be used to model both polynomial behavior of parallel systems. It provides a nature framework for the concurrent composition systems, and can deal with the nondeterministic behavior. This process algebra is obtained by the polynomial transition systems which we defined. In this paper we concentrate on giving the syntax and semantic, and meanwhile defining the bisimulation equivalence. In the last we give an example to illustrate it.
Keywords :
bisimulation equivalence; polynomials; process algebra; PPA; bisimulation equivalence; concurrent composition system; nondeterministic behavior; parallel system; polynomial process algebra; polynomial transition system; semantic; syntax; Algebra; Mathematical model; Polynomials; Semantics; Syntactics; Thermostats; bisimulation; concurrent systems; olynomial process algebra; polynomial transition systems;
Conference_Titel :
Intelligent Control and Automation (WCICA), 2012 10th World Congress on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-1397-1
DOI :
10.1109/WCICA.2012.6358386
