✦ LIBER ✦

On abstract interpretation of Mobile Ambients

✍ Scribed by Francesca Levi; Sergio Maffeis

Book ID: 113641482
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 620 KB
Volume: 188
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2003.06.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mobile Ambients: Extended Abstract

✍ Luca Cardelli; Andrew D. Gordon 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 236 KB

A Fully Abstract Model for Mobile Ambien

A Fully Abstract Model for Mobile Ambients

✍ M. Coppo; M. Dezani-Ciancaglini 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 136 KB

Nesting analysis of mobile ambients

✍ Chiara Braghin; Agostino Cortesi; Riccardo Focardi; Flaminia L. Luccio; Carla Pi 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 548 KB

Abstract interpretation of mobile system

Abstract interpretation of mobile systems

✍ Jérôme Feret 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 976 KB

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

An overview of Boxed Ambients: (Abstract

An overview of Boxed Ambients: (Abstract)

✍ Giuseppe Castagna; Michele Bugliesi; Silvia Crafa 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 96 KB