Foster Simon について
Department of Computer Science, University of York, York, YO10 5DD, United Kingdom について
Cavalcanti Ana について
Department of Computer Science, University of York, York, YO10 5DD, United Kingdom について
Woodcock Jim について
Department of Computer Science, University of York, York, YO10 5DD, United Kingdom について
Zeyda Frank について
Department of Computer Science, University of York, York, YO10 5DD, United Kingdom について
Information Processing Letters について
並列処理 について
再構成 について
ヘリウム について
代数学 について
連続時間系 について
言語 について
反応性 について
ハイブリッドシステム について
形式的意味論 について
反応過程 について
形式的意味論 について
ハイブリッドシステム について
プロセス代数 について
統一理論 について
定理証明 について
計算理論 について
一般化 について
反応過程 について
理論 について