Fully Abstract Models for Communicating Processes with respect to Weak Linear Semantics with Divergence

スポンサーリンク

概要

• 論文の詳細を見る
• 1992-01-25

著者

• Horita Eiichi

  Ntt Software Laboratories

関連論文

• Fully Abstract Models for Communicating Processes with respect to Weak Linear Semantics with Divergence

スポンサーリンク