๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Mobile Ambients: Extended Abstract

โœ Scribed by Luca Cardelli; Andrew D. Gordon

Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
236 KB
Volume
10
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Model checking mobile ambients
Model checking mobile ambients
โœ Witold Charatonik; Silvano Dal Zilio; Andrew D. Gordon; Supratik Mukhopadhyay; J ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 789 KB

We settle the complexity bounds of the model checking problem for the ambient calculus with public names against the ambient logic. We show that if either the calculus contains replication or the logic contains the guarantee operator, the problem is undecidable. In the case of the replication-free c

Barbs and Congruences for Safe Mobile Am
Barbs and Congruences for Safe Mobile Ambients
โœ M.G. Vigliotti; I.C.C. Phillips ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 175 KB

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 th

On the Expressiveness of Movement in Pur
On the Expressiveness of Movement in Pure Mobile Ambients
โœ Nadia Busi; Gianluigi Zavattaro ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 718 KB

Pure Mobile Ambients (i.e., Mobile Ambients without communication) provides three mobility primitives: in and out for ambient movement, and open to dissolve ambient boundaries. In this paper we consider the expressiveness of the primitives in and out for ambient movement; more precisely, we concentr