同期機構を持つ並行プロセスの記述能力について--フロ-表現の拡張とその記述能力
スポンサーリンク
概要
著者
関連論文
- ソフトウェア科学会第3回大会
- 「WCC98に参加して/IFIP TC : この1年」
- ISLisp(Lisp言語のISO標準化案)とその動向
- 同期制御された正規表現の記述能力
- 同期機構を持つ並行プロセスの記述能力について--フロ-表現の拡張とその記述能力
- ソフトウェア基礎研究における思い出(2) : ソフトウェア基礎研究に関する国際活動(新しいソフトウェアの実現,サイバー増大号)
- ソルトウェア基礎研究における思い出(1) : プログラム理論の創世期の思い出
- TC1(Foundations of Computer Science) : コンピュータサイエンスの基礎