进程代数(Process Algebras),用代数理论研究通信并发系统。进程代数基于标签迁移系统,用一组算子作为基本成分,用算子间的组合刻画复杂系统。
基于16个网页-相关网页
短语
进程代数
process algebra
;
the Algebra of Process
随机进程代数
Stochastic Process Algebra
过程代数与概率方法
Process Algebra and Probabilistic Methods
代数方程
polynomial equation
时间进程代数
timed process algebras
移动进程代数
mobile process algebra
网格社区进程代数模型
Grid Community Process Algebra Model
求代数方程的符号解
solve