協調型言語に基づく並列プロセスのモデル検証 (計算機科学基礎理論の新展開)
スポンサーリンク
概要
著者
関連論文
- A_006 正規表現関数を用いた文字列照合アルゴリズムの高速化に関する研究(A分野:モデル・アルゴリズム・プログラミング)
- 1B-5 協調型言語における試験等価性と失敗等価性の関係とモデル検査への適用(テスト・検証,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 協調型言語に基づく並列プロセスのモデル検証 (計算機科学基礎理論の新展開)
- 5L-5 一斉通信のデッドロック解析へのプロセス代数的アプローチ