stm - 在 JAVA 中使用 STM 实现 pi 演算

Question

我想在 JAVA 中实现 `pi-calculus。对于并发，我使用Deuce STM library。更改 JAVA 语法会很困难，因此我计划使用带注释的变量和通用函数/类。

例如。

    类频道{
         私有变量1；
         私有变量2；
         @Atomic // 这是由 Deuce 处理的
         公共无效发送（）{
         }
         @原子
         公共无效接收（）{
         }
    }
    

所以一个通道将是这个类的一个实例。

我对如何对流程进行建模以允许它们通过这些渠道进行交互感到困惑。

有什么帮助/建议吗？

谢谢你。