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是一类描述并发程序形式化规约的进程代数记法。
Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied.
其次，研究基于性能评估进程代数的系统生存性形式化建模方法。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
For developing concurrent distributed system, process algebra based model checking is widely considered as a feasible and important approach to reducing errors and increasing system reliability.
在分布式并发系统构造过程中，基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。
On the base of translating process transition graph into process Algebra expression by hand, this paper puts forward the idea of translating between them automatically.
在手工转换进程迁移图到进程表达式的基础上，提出了自动转换的进一步研究思路。
On the base of translating process transition graph into process Algebra expression by hand, this paper puts forward the idea of translating between them automatically.
在手工转换进程迁移图到进程表达式的基础上，提出了自动转换的进一步研究思路。
应用推荐