Luo Ling について
Institute of Computing Theory and Technology, Xidian University について
Duan Zhenhua について
Institute of Computing Theory and Technology, Xidian University について
Tian Cong について
Institute of Computing Theory and Technology, Xidian University について
Dianzi Xuebao について
操作的意味論 について
モデリング について
定式化 について
事例研究 について
代数学 について
時間依存性 について
構文 について
π計算 について
π計算 について
プロセス代数 について
区間作用プレフィックス について
Specification について
検証 について
計算理論 について