GRAPH TYPES FOR MONADIC MOBILE PROCESSES(Concurrency Theory and Applications '96)

スポンサーリンク

概要

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

著者

• Yoshida Nobuko

  Department Of Computer Science Keio University

• Yoshida Nobuko

  Department Of Computer Science University Of Edinburgh

関連論文

• GRAPH TYPES FOR MONADIC MOBILE PROCESSES(Concurrency Theory and Applications '96)
• On Reduction-Based Process Semantics

スポンサーリンク