On the Expressiveness of Movement in Pur
โ
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