IPSJ Digital Courier
Online ISSN : 1349-7456
ISSN-L : 1349-7456
An Equational Relation for Ambient Calculus
Toru Kato
Author information
JOURNAL FREE ACCESS

2005 Volume 1 Pages 590-603

Details
Abstract

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.

Content from these authors
© 2005 by the Information Processing Society of Japan
Previous article Next article
feedback
Top