Polynomial process algebra

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.