村上 昌己 | 岡山大学 工学部 情報工学科
スポンサーリンク
概要
関連著者
-
村上 昌己
岡山大学 工学部 情報工学科
-
村上 昌己
岡山大学工学部
-
伊藤 利純
岡山大学工学部情報工学科
-
黒瀬 義敏
岡山大学工学部情報工学科:富士通(株)
-
中尾 有志
岡山大学工学部
-
峰久 美香
岡山大学 工学部 情報工学科
-
村上 昌己
岡山大学情報工学科
-
塩出 隆司
岡山大学工学部情報工学科
-
小田 幸弘
岡山大学大学院工学研究科
-
中尾 有志
岡山大学工学部情報工学科
著作論文
- 並行プロセスの非インターリーブ的テスティング
- 名前渡しを含む並行プロセスの非インターリーブ的意味論
- π計算のfairなtestingによる等価性判別
- モーバイルプロセスの失敗例意味論を用いた等価性判別
- モーバイルプロセスの失敗例意味論を用いた等価性判別
- モーバイルプロセスのテスティングによる等価性判別
- 特集「並行計算の理論の最近の動向」の編集にあたって
- 論理型言語における展開/畳み込みの拡張について
- 並行論理型言語NGHCの時相論理式による制約を用いた部分計算法
- 並行論理型プログラミング言語における段階的プログラム記述の検証