DM>А чем это отличается от join calculus?
Не в курсе.
Поверхностно ознакомился с
http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=9C5B2E4B8923334718485286D42982E1?doi=10.1.1.4.4788&rep=rep1&type=pdf
Join calculus использует различные каналы передачи сообщений, тогда как описанное выше работает над одним каналом.
Надо будет статью накатать про dynamic dataflow.