stm - JAVA で STM を使用して円周率計算を実装する

Question

JAVA で pi-calculus を実装したいと考えています。同時実行のために、Deuce STM ライブラリを使用しています。JAVA 構文を変更するのは難しいので、注釈付き変数と汎用関数/クラスを使用する予定です。

たとえば。

    クラスチャンネル{
         プライベート var1;
         プライベート var2;
         @Atomic // これは Deuce によって処理されます
         public void Send(){
         }
         @アトミック
         public void Receive(){
         }
    }
    

したがって、チャネルはこのクラスのインスタンスになります。

これらのチャネルを介してプロセス間の相互作用を可能にするためにプロセスをモデル化する方法について混乱しています。

ヘルプ/提案はありますか?

ありがとうございました。