Togashi Atsushi | Department Of Computer Science Shizuoka University
スポンサーリンク
概要
関連著者
-
Togashi Atsushi
Department Of Computer Science Shizuoka University
-
KANEZASHI FUMIAKI
Graduate School of Science and Engineering, Shizuoka University
-
Kanezashi Fumiaki
Graduate School Of Science And Engineering Shizuoka University
-
Yoshida Zen-ichi
Department Of Applied Chemistry Faculty Of Science And Engineering Kinki University
-
Kanezashi F
Shizuoka Univ.
-
Tabushi Iwao
Faculty of Pharmaceutical Sciences, Kyushu University
-
Yamamura Kazuo
Faculty of Pharmaceutical Sciences, Kyushu University
-
Yoshida Zen-ichi
Department of Synthetic Chemistry, Kyoto University
著作論文
- System Requirements and Formal Specifications of Hierarchical Reactive Systems (特集 マルチメディアコミュニケーションシステム)
- A Modal Proof System for Mobile Processes
- On Typing Systems for the Polyadic $\pi$-Calculus(Concurrency Theory and Applications '96)
- Stereospecific [2π+2π+2π] Cycloaddition Reaction of Norbornadiene