On Typing Systems for the Polyadic $\pi$-Calculus(Concurrency Theory and Applications '96)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Togashi Atsushi

  Department Of Computer Science Shizuoka 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

スポンサーリンク