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