process algebra

• 进程代数

process algebra的用法和样例：

例句

1. A process algebraic approach to the modelling of information flow security is explained.
   文章在安全进程代数理论框架内讨论信息流安全模型。