进程代数 process algebra ; the Algebra of Process ; Performance evaluation process algebra

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

二进制图像代数 binary image algebra

随机进程代数 Stochastic Process Algebra

最大进化代数 Maximum Generation

二进制布尔代数 binary Boolean algebra

时间进程代数 timed process algebras

移动进程代数 mobile process algebra

第二代先进数字显示 Advanced Digital Display