An Equational Relatation for Ambient Calculus

スポンサーリンク

概要

• 論文の詳細を見る

• Ambient calculus is a process algebra developed for describing mobile processes. Ambients represent the substance of movement and the field of the ambients themselves. Having this hierarchy, it can model various kinds of mobile computation. Equational properties for ambient calculus were proposed regarding the names of ambients observed from environments. That equivalence relation, however, identifies the processes which have different properties. This paper proposes an equational relation for ambient calculus by which we can distinguish processes that the existing equivalence identifies.

• 一般社団法人情報処理学会の論文
• 2000-11-15

著者

• Kato Toru

  Research Fellow Of The Japan Society For The Promotion Of Science:(present Address)faculty Of Scienc

• Kato Toru

  Research Fellow Of The Japan Society For The Promotion Of Science

関連論文

• An Equational Relatation for Ambient Calculus
• The Semantics of Guarded Horn Clauses for Programs on Distributed Environments (特集:マルチメディア通信と分散処理)

スポンサーリンク