【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

Environmental bisimulations for higher-order distributed process calculi 高階分散プロセス計算のための環境双模倣

この論文をさがす

著者

    • Pierard, Adrien Hubert Marie ピエラール, アドリアン ウベール マリー

書誌事項

タイトル

Environmental bisimulations for higher-order distributed process calculi

タイトル別名

高階分散プロセス計算のための環境双模倣

著者名

Pierard, Adrien Hubert Marie

著者別名

ピエラール, アドリアン ウベール マリー

学位授与大学

東北大学

取得学位

博士 (情報科学)

学位授与番号

甲第14737号

学位授与年月日

2012-03-27

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000563800
  • NII著者ID(NRID)
    • 8000000566021
  • 本文言語コード
    • eng
  • NDL書誌ID
    • 024022444
  • データ提供元
    • NDL-OPAC
ページトップへ