Process Algebra and Probabilistic Methods 过程代数与概率方法
Stochastic Process Algebra 随机进程代数 ; 和随机进程代数
mobile process algebra 移动进程代数
security process algebra 安全进程代数
Grid Community Process Algebra Model 网格社区进程代数模型
CCS Process Algebra CCS进程代数
Process Algebra is introduced to describe and verify the protocol.
文章还进一步采用进程代数的方法对多重通信协议进行形式化描述及验证。
参考来源 - 基于SMP结点的机群通信系统关键技术的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.
事件结构是一种十分重要的真并发模型，非常适合于为进程代数提供一种具有可组合性的真并发语义。
When using process algebra to model workflow, we only consider its formal semantics and its control flow.
在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
FSP是一类描述并发程序形式化规约的进程代数记法。
应用推荐