Murakami Masaki | Faculty Of Engineering Okayama University
スポンサーリンク
概要
関連著者
-
Murakami Masaki
Faculty Of Engineering Okayama University
-
Murakami M
Faculty Of Engineering Okayama University
-
KATO TORU
Faculty of Engineering, Okayama University
-
Kato T
Res. Fellow Of The Japan Soc. For The Promotion Of Sci.
著作論文
- An OR-compositional Semantics of GHC for Programs with Perpetual Processes
- A Domain for Concurrent Semantics of Mobile Processes(Concurrency Theory and Applications '96)