A Calculus of Mobile Processes 1

贾皮 Japi 是多元 pi 演算的 Java 实现。 微积分包括典型的 pi 微积分组合子，例如并行组合、非确定性选择、复制以及至关重要的限制。 此实现将 lambda 演算嵌入到 Send 前缀中。 这允许代理将任意计算传递给另一个。 用法 要构建，请cd进入存储库的根目录并运行： ./build 要清理构建，请运行： ./build clean 要调用解释器，首先构建，然后运行： ./japi my_src_file 源文件的语法如下所示： P, Q ::= X . P # Send prefix, n <= 0 | X ( Y_1, Y_2, ... Y_n ) . P # Receive prefix, n <= 0 | [ P_1 | P_2 | ... P_n ]

pi演算的验证工具，用于操作和分析移动并发系统的自动化pi演算，使用函数式语言sml构建。软件环境为windows2000。MWB 99版。