进程代数 process algebra ; the Algebra of Process

进化代数 Evolution algebra ; Evolving algebra ; Evolutionary algebra

二进制图像代数 binary image algebra

随机进程代数 Stochastic Process Algebra

最大进化代数 Maximum Generation

二进制布尔代数 binary Boolean algebra

时间进程代数 timed process algebras

移动进程代数 mobile process algebra

二进位代数加法器 binary algebraic adder

网格社区进程代数模型 Grid Community Process Algebra Model