Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Behavioural Theory for Mobile Ambients

Abstract : We study a behavioural theory of Cardelli and Gordon's Mobile Ambients, a process calculus for modelling mobile agents in wide-area networks, focussing on reduction barbed congruence. Our contribution is threefold. We prove a context lemma that shows that only parallel and nesting contexts need be examined to recover this congruence. We characterise this congruence using a labelled bisimilarity: this requires novel techniques to deal with asynchronous movements of agents and with the invisibility of migrations of secret locations. We develop refined proof methods involving up-to proof techniques, which allow us to verify a set of algebraic laws and the correctness of more complex examples.
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [43 references]  Display  Hide  Download
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 9:03:04 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:38 AM
Long-term archiving on: : Monday, September 17, 2012 - 4:01:01 PM


  • HAL Id : inria-00070628, version 1



Massimo Merro, Francesco Zappa Nardelli. Behavioural Theory for Mobile Ambients. [Research Report] RR-5375, INRIA. 2004, pp.61. ⟨inria-00070628⟩



Record views


Files downloads