ORDERED SOS RULES AND WEAK BISIMULATION(Concurrency Theory and Applications '96)

スポンサーリンク

概要

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

著者

• Phillips Iain

  Department Of Computing Imperial College

• ULIDOWSKI IREK

  Research Institute for Mathematical Sciences, Kyoto University

• Ulidowski Irek

  Research Institute For Mathematical Sciences Kyoto University

関連論文

• ORDERED SOS RULES AND WEAK BISIMULATION(Concurrency Theory and Applications '96)

スポンサーリンク