Symbolic Bisimulations and Proof Systems for The $\pi$-Calculus(Concurrency Theory and Applications '96)

スポンサーリンク

概要

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

著者

• Lin Huimin

  Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences

関連論文

• Symbolic Bisimulations and Proof Systems for The $\pi$-Calculus(Concurrency Theory and Applications '96)

スポンサーリンク