DocumentCode
577822
Title
Polynomial process algebra
Author
Liu, Bai ; Wu, Jinzhao
Author_Institution
Chengdu Inst. of Comput. Applic., Chengdu, China
fYear
2012
fDate
6-8 July 2012
Firstpage
3004
Lastpage
3007
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Control and Automation (WCICA), 2012 10th World Congress on
Conference_Location
Beijing
Print_ISBN
978-1-4673-1397-1
Type
conf
DOI
10.1109/WCICA.2012.6358386
Filename
6358386
Link To Document