pi calculus pi演算
applied pi calculus 应用pi演算
Indexed PI calculus 索引PI演算
synchronous pi-calculus 同步π演算
pi calculus bisimulation pi演算互模拟
asynchronous pi-calculus 异步π演算
pi-like calculus 类pi演算
The pi-calculus and conformance check provide that rigorous basis that we can then extend to build practical and hopefully usable systems.
并行计算和一致性检验提供了严密的基础，我们能在此基础上去搭建实用的，有发展前景的系统。
They often focused on complex mathematical theories (such as the Pi-Calculus) without ever validating if these theory's semantics would actually be enough to support a business process execution.
他们经常关注复杂的数学理论（如 Pi-Calculus），从来不去验证这些理论的语义是否真的足够支撑一个业务过程执行。
Now, the PI calculus is good to use directly for "local" (intra-VM) things, but it is not so good for implementing distributed ones because in the PI calculus both ends of a channel are mobile.
现在，pi演算已经可以很好地直接用于“局部的”(VM内的)地方，但还不太好用于实现分布式的地方，因为在pi演算中，通道两端都是可活动的。
应用推荐