mixiで趣味の話をしよう

mixiコミュニティには270万を超える趣味コミュニティがあるよ
ログインもしくは登録をして同じ趣味の人と出会おう♪

ホーム > コミュニティ > 学問、研究 > CSPについて

CSPについて

CSPについて

ログインして参加する

参加するにはログインが必要です。

  • mixiチェック
  • このエントリーをはてなブックマークに追加

コミュ内全体

詳細 2013年7月23日 00:53更新

CSP(Communicating Sequential Processes)について
現在の書籍やツールなどの情報があまりありません。
なので、情報を共有し解析をしていきたいです。

VDMやZなどの形式手法もありますが、
CSPについての情報が本当になさすぎで。。。。

コミュニティにつぶやきを投稿

トピック

参加メンバー 11人

もっと見る

開設日
2007年11月11日

3315日間運営

カテゴリ
学問、研究
関連ワード
関連ワードを登録しよう

編集から関連ワードを登録すると、コミュニティがmixiワードに表示されるようになります!