research

卒業論文

LMNtalによる分散環境とプロセス移送の実現

修士論文

階層グラフ書換え言語LMNtalによるモデル検査