Watanabe Takashi | Department Of Computer Science Shizuoka University
スポンサーリンク
概要
Department Of Computer Science Shizuoka University | 論文
- Collection and Analysis of Life-style Data : A Novel Approach to Improve Health-Consciousness
- Name Matching v.s. Structure Matching in Typing Systems for the Polyadic π-Calculus
- 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)