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