ประโยคภาษาจีน : 中文句子 |
---|
bìng xíng jì suàn 并行计算 hé 和 yí zhì xìng 一致性 jiǎn yàn 检验 tí gōng 提供 le 了 yán mì 严密 de 的 jī chǔ 基础 wǒ men 我们 néng 能 zài cǐ 在此 jī chǔ 基础 shàng qù 上去 dā jiàn 搭建 shí yòng 实用 de 的 yǒu 有 fā zhǎn qián jǐng 发展前景 de 的 xì tǒng 系统 |
The pi-calculus and conformance check provide that rigorous basis that we can then extend to build practical and hopefully usable systems. |