【摘要】随着硬件技术和大数据需求的增加，分布式技术也在不断发展革新。如何有效的描述分布式环境下的进程通信过程也是研究的主要问题之一。本文提出了异步Pi演算的一种扩展形式—DOPi演算，主要对分布式环境中处于不同计算环境内的进程通信过程进行建模，它将边界这一抽象概念通过迁移算子等具体的表达式引入到Pi演算中，可以清晰的刻画进程在不同作用域内的移动通信。通过将新的迁移算子与Pi演算操作语义融合，保留了 […]