...性验证 基于Pi演算的Web服务等价性验证 类型理论介绍 基于类型论的Web服务可替换性验证 Pi演算概念 Pi演算(Pi-Calculus)是九十年代计算机并行理论领 域最为重要的一个并发计算模型。
基于38个网页-相关网页
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），从来不去验证这些理论的语义是否真的足够支撑一个业务过程执行。
I advocated PI calculus channels because of their simplicity, which generally translates to performance and maintainability.
我提倡使用pi演算通道是由于它的简单性，换句话说是由于它的高效性和可维护性。
应用推荐