Реализация пи-исчисления с использованием STM в JAVA

Question

Я хочу реализовать `pi-исчисление в JAVA. Для параллелизма я использую библиотеку Deuce STM. Изменение синтаксиса JAVA будет затруднено, поэтому я планирую использовать аннотированные переменные и общие функции / классы.

например,

    Класс Channel{
         частный var1;
         частный var2;
         @Atom // Это обрабатывает двойка 
         public void Send(){
         }
         @Atomic
         public void Receive(){
         }
    }
    

Таким образом, канал будет экземпляром этого класса.

Я запутался в том, как моделировать процессы, чтобы позволить взаимодействие между ними по этим каналам.

Любая помощь / предложения?

Спасибо.