Computing Publications

Publications Home » Barbs and congruences for safe mo...

Barbs and congruences for safe mobile ambients

Maria Vigliotti, Iain Phillips

Conference or Workshop Paper
Proceedings of F-WAN: workshop on foundations of wide-area network computing, Malaga, July 2002
Electronic Notes in Theoretical Computer Science
Volume 66
Issue 3
pp.37–51
September, 2002
Elsevier
DOI 10.1016/S1571-0661(04)80415-8
Abstract

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 pi-calculus by defining the insensitive terms of SA.

Keywords
AESOP
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.