サクサク読めて、アプリ限定の機能も多数!
Π計算:並列計算モデルのひとつ。プロセスとチャネルで計算を表現
todesking のブックマーク 2007/05/24 09:45
A Very Brief Introduction to the Pi-Calculus (in Japanese)[情報科学]Π計算:並列計算モデルのひとつ。プロセスとチャネルで計算を表現2007/05/24 09:45
このブックマークにはスターがありません。 最初のスターをつけてみよう!
web.yl.is.s.u-tokyo.ac.jp2005/10/10
π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道...
78 人がブックマーク・14 件のコメント
\ コメントが サクサク読める アプリです /
Π計算:並列計算モデルのひとつ。プロセスとチャネルで計算を表現
todesking のブックマーク 2007/05/24 09:45
このブックマークにはスターがありません。
最初のスターをつけてみよう!
A Very Brief Introduction to the Pi-Calculus (in Japanese)
web.yl.is.s.u-tokyo.ac.jp2005/10/10
π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道...
78 人がブックマーク・14 件のコメント
\ コメントが サクサク読める アプリです /