>>73
STMとかPi-calculusとかCSPとかいろいろあるけど、
はっきり言えることはこれからの並列・並行処理はメッセージパッシング方式が主流になるということだ。