安全进程代数可以作为信息流安全的基础理论框架。
Security Process Algebra forms a basis for secure information flow theory.
文章在安全进程代数理论框架内讨论信息流安全模型。
A process algebraic approach to the modelling of information flow security is explained.
FSP是一类描述并发程序形式化规约的进程代数记法。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
进程代数；
其次，研究基于性能评估进程代数的系统生存性形式化建模方法。
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.
基于进程代数语义理论，研究了无干扰性质及不可演绎性质的构造、关系及可复合性。
In this paper, the derivation of process algebraic expressions for no-interference and non-deducibility property, and the composibility of those expressions are discussed.
在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。
When using process algebra to model workflow, we only consider its formal semantics and its control flow.
事件结构是一种十分重要的真并发模型，非常适合于为进程代数提供一种具有可组合性的真并发语义。
Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.
在分布式并发系统构造过程中，基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。
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.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的，即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
All the laws presented above are sound with respect to the operational semantics , i . e. , if the two processes are the two sides of a law, then they are bisimilar.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的，即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
All the laws presented above are sound with respect to the operational semantics , i . e. , if the two processes are the two sides of a law, then they are bisimilar.
应用推荐