I advocated PI calculus channels because of their simplicity, which generally translates to performance and maintainability.
我提倡使用pi演算通道是由于它的简单性，换句话说是由于它的高效性和可维护性。
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演算中，通道两端都是可活动的。
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），从来不去验证这些理论的语义是否真的足够支撑一个业务过程执行。
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），从来不去验证这些理论的语义是否真的足够支撑一个业务过程执行。
应用推荐