気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
ymkwt.hatenadiary.orgエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント2件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
CSP(Communicating Sequential Processes)
サイトの説明 並行システムなどを研究していてFormal Methods(形式手法)であるCSPに興味を持ったのだが... サイトの説明 並行システムなどを研究していてFormal Methods(形式手法)であるCSPに興味を持ったのだが、日本語であまり良い解説・入門サイトがないようなので自分で書いてみようかと思いました。少しでも役に立てれば幸いです。リンク、コメントなどは自由にしてください。 学習の流れ CSP概要 FDR2とは 代数演算子 prefix（接頭辞） sequential（逐次） recursion（再帰） conditional choice（条件選択） external choice（外部選択） internal choice（内部選択） parallel（並行） 例題１ interleaving sharing（共有） hiding（隠蔽） 例題２ interrupt(割り込み) renaming(変更) Input/Output(入出力) linked parallel Trace S
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
fromdusktildawn.hatenablog.com
note.com/bambi_yoshikawa
www.yomiuri.co.jp
tonarinoyj.jp
anond.hatelabo.jp
anond.hatelabo.jp
togetter.com
togetter.com
anond.hatelabo.jp
yunakiti.blog.2nt.com
www.bloomberg.co.jp
xn--pckua2a7gp15o89zb.com
2009/11/18 リンク