Communicating Sequential Processesの数学モデル(同期の数理)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 萩野 達也

  数理解析研究所

関連論文

• 情報処理デジタルキャンパス実験クラス (特集 多言語主義の可能性--国民国家を超えて)
• 次世代Web技術 セマンティックWeb--Webに意味情報を与え機械で処理可能に
• カテゴリー理論的関数型プログラミング言語
• エディンバラ報告
• 「セマンティックWeb」入門(2)意味情報の正体に迫る 概念モデルで意味を表現,語いの定義が重要に
• Communicating Sequential Processesの数学モデル(同期の数理)

スポンサーリンク