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