Environmental bisimulations for higher-order distributed process calculi 高階分散プロセス計算のための環境双模倣
この論文をさがす
著者
書誌事項
- タイトル
-
Environmental bisimulations for higher-order distributed process calculi
- タイトル別名
-
高階分散プロセス計算のための環境双模倣
- 著者名
-
Pierard, Adrien Hubert Marie
- 著者別名
-
ピエラール, アドリアン ウベール マリー
- 学位授与大学
-
東北大学
- 取得学位
-
博士 (情報科学)
- 学位授与番号
-
甲第14737号
- 学位授与年月日
-
2012-03-27
注記・抄録
博士論文