...;构件技术;模型验证;pi演算; [gap=870]nent communication, workflow, workflow model, component technology, pi calculus, model verification ...
基于22个网页-相关网页
pi-calculus 演算
applied pi calculus 应用pi演算
Indexed PI calculus 索引PI演算
synchronous pi-calculus 同步π演算
pi calculus bisimulation pi演算互模拟
asynchronous pi-calculus 异步π演算
pi-like calculus 类pi演算
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.
并行计算和一致性检验提供了严密的基础,我们能在此基础上去搭建实用的,有发展前景的系统。
应用推荐