英语词汇pi-calculus怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

网络释义

1
?演算
...性验证 基于Pi演算的Web服务等价性验证 类型理论介绍 基于类型论的Web服务可替换性验证 Pi演算概念 Pi演算(Pi-Calculus)是九十年代计算机并行理论领域最为重要的一个并发计算模型。

短语

1
pi calculus
pi演算
2
applied pi calculus
应用pi演算
3
Indexed PI calculus
索引PI演算

双语例句

1
The pi-calculus and conformance check provide that rigorous basis that we can then extend to build practical and hopefully usable systems.
并行计算和一致性检验提供了严密的基础，我们能在此基础上去搭建实用的，有发展前景的系统。
2
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），从来不去验证这些理论的语义是否真的足够支撑一个业务过程执行。
3
I advocated PI calculus channels because of their simplicity, which generally translates to performance and maintainability.
我提倡使用pi演算通道是由于它的简单性，换句话说是由于它的高效性和可维护性。

单词	pi-calculus
释义	pi-calculus 网络释义 1 ?演算 ...性验证 基于Pi演算的Web服务等价性验证 类型理论介绍 基于类型论的Web服务可替换性验证 Pi演算概念 Pi演算(Pi-Calculus)是九十年代计算机并行理论领域最为重要的一个并发计算模型。短语 1 pi calculus pi演算 2 applied pi calculus 应用pi演算 3 Indexed PI calculus 索引PI演算双语例句 1 The pi-calculus and conformance check provide that rigorous basis that we can then extend to build practical and hopefully usable systems. 并行计算和一致性检验提供了严密的基础，我们能在此基础上去搭建实用的，有发展前景的系统。 2 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），从来不去验证这些理论的语义是否真的足够支撑一个业务过程执行。 3 I advocated PI calculus channels because of their simplicity, which generally translates to performance and maintainability. 我提倡使用pi演算通道是由于它的简单性，换句话说是由于它的高效性和可维护性。
随便看	Gaekwar Gael Gael gaelan Gaeldom gaelen Gaelic Gaelic coffee gaelic football Gaelic games Gaelic handball gaelicise Gaelicised gaelicize Gaelicized Gaelic League Gaelic revival gaelic Gaelle Gaelophone Gaels Gaeltacht Gaeltacht gaem Gaenor