奥卡姆派

通信移动进程。介绍occam pi。本文介绍了occam-pi,它是将Hoare的CSP和Milner的$pi$-演算中的关键元素有效而安全地绑定到一种具有工业实力的编程语言中。在重点讨论提供数据、通道和进程移动性的扩展之前,对经典occam进行了简要概述。给出了一些实现细节,并给出了当前的基准测试结果。概述了利用移动过程直接模拟大规模自然系统的应用技术,包括局部性建模(这样自由程过程可以相互定位)。运行时开销足够低,因此由数百万动态组装和通信进程组成的系统在适当的处理器资源上是可行的。这些思想和技术将进一步扩展,以解决更大的任意复杂度系统,分布在多个处理器上,没有语义上的不连续性。语义设计、理解和分析是通过将系统自然地组织成多个层次的网络和底层代数的组合而实现的。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换