Π計算:並列計算モデルのひとつ。プロセスとチャネルで計算を表現

todeskingtodesking のブックマーク 2007/05/24 09:45

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

A Very Brief Introduction to the Pi-Calculus (in Japanese)

    π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう