An Equational Relation for Ambient Calculus

スポンサーリンク

概要

• 論文の詳細を見る

• Ambient calculus is a process algebra developed for describing mobile processes. Ambients represent the substances of movement and the fields of the ambients themselves. Having this hierarchy, it can model various kinds of mobile computation. Equational relation for ambient calculus "Contextual Equivalence" were proposed regarding the names of ambients observed from the environment. This relation is, however, not strong as "testing equivalence" so that it can identify the processes which have different properties. This paper proposes equational relations for ambient calculus by which we can distinguish processes that the existing equivalence identifies.

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

著者

• Kato Toru

  Department Of Informatics Kinki University

関連論文

• An Equational Relation for Ambient Calculus(Theory of Programs)
• An Equational Relation for Ambient Calculus

スポンサーリンク