Sciweavers

ENTCS
2002

Barbs and Congruences for Safe Mobile Ambients

13 years 3 months ago
Barbs and Congruences for Safe Mobile Ambients
The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi's Safe Mobile Ambients (SA), the extra co-capabilities required for interaction complicate the fundamental observations. We show that different formulations of barbs lead to the same barbed congruence. We prove this by following Honda and Yoshida's approach for the -calculus by defining the insensitive terms of SA.
Maria Grazia Vigliotti, Iain Phillips
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where ENTCS
Authors Maria Grazia Vigliotti, Iain Phillips
Comments (0)