The pi-calculus and conformance check provide that rigorous basis that we can then extend to build practical and hopefully usable systems.
并行计算和一致性检验提供了严密的基础,我们能在此基础上去搭建实用的,有发展前景的系统。
The pi-calculus and conformance check provide that rigorous basis that we can then extend to build practical and hopefully usable systems.
并行计算和一致性检验提供了严密的基础,我们能在此基础上去搭建实用的,有发展前景的系统。
应用推荐