Polynomial process algebra

被引：0

作者：

Liu, Bai ^{[1
]}

Wu, Jinzhao ^{[2
]}

机构：

[1] Chinese Acad Sci, Chengdu Inst Comp Applicat, Chengdu 610041, Sichuan, Peoples R China

[2] Guangxi Univ Nat, Guangxi Key Lab Hybird Computat & IC Design Anal, Nanning 530006, Guangxi, Peoples R China

来源：

PROCEEDINGS OF THE 10TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2012) | 2012年

基金：

中国国家自然科学基金; 国家教育部博士点专项基金资助;

关键词：

olynomial process algebra; polynomial transition systems; bisimulation; concurrent systems;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：3004 / 3007

页数：4

共 50 条

[31] On the Mahler measure of the Coxeter polynomial of an algebra
de la Pena, Jose A.
[J]. ADVANCES IN MATHEMATICS, 2015, 270 : 375 - 399
[32] Polynomial Extensions of the Weyl C*-Algebra
Accardi, Luigi
Dhahri, Ameur
[J]. OPEN SYSTEMS & INFORMATION DYNAMICS, 2015, 22 (03):
[33] On the equations defining curves in a polynomial algebra
Zeng, Ze Min
[J]. COMMUNICATIONS IN ALGEBRA, 2006, 34 (09) : 3459 - 3466
[34] Automorphisms of the endomorphism semigroup of a polynomial algebra
Belov-Kanel, A.
Lipyanski, R.
[J]. JOURNAL OF ALGEBRA, 2011, 333 (01) : 40 - 54
[35] Balanced state representations with polynomial algebra
Willems, JC
Rapisarda, P
[J]. DIRECTIONS IN MATHEMATICAL SYSTEMS THEORY AND OPTIMIZATION, 2003, 286 : 345 - 357
[36] Modern algebra and polynomial ideals.
Macaulay, FS
[J]. PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1934, 30 : 27 - 46
[37] On the density of the set of generators of a polynomial algebra
Drensky, V
Shpilrain, V
Yu, JT
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2000, 128 (12) : 3465 - 3469
[38] Generic A-generators for polynomial algebra
Nam, TN
[J]. ADVANCES IN MATHEMATICS, 2004, 186 (02) : 334 - 362
[39] Relations of the Algebra of Polynomial Integrodifferential Operators
Bouesso, Andre S. E. Mialebama
Wamba, G. Mobouale
[J]. JOURNAL OF MATHEMATICS, 2019, 2019
[40] On the coefficients of the Coxeter polynomial of an accessible algebra
de la Pena, Jose A.
[J]. JOURNAL OF ALGEBRA, 2012, 372 : 149 - 160

← 1 2 3 4 5 →