𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Expressiveness of Movement in Pure Mobile Ambients

✍ Scribed by Nadia Busi; Gianluigi Zavattaro


Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
718 KB
Volume
66
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

✦ Synopsis


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 concentrate on the interplay between ambient movement and the ability to create new names (exploiting the restriction operator). To this aim, we consider a version of Pure Mobile Ambients (with explicit recursive definitions instead of replication) and we concentrate on the three fragments of the calculus that can be obtained removing either one or both between movement and the ability to create new names. The unique mobility primitive that we retain in all of the considered calculi is open. Te three fragments are denoted as follows: (\mathrm{MA}^{-m v}) without ambient movement, (\mathrm{MA}{-\nu}) without restriction, and (\mathrm{MA}{-\nu}^{-m v}) without both movement and restriction. We prove that both the fragments (\mathrm{MA}^{-m v}) and (\mathrm{MA}{-\nu}) are Turing-complete, while this is not the case for (\mathrm{MA}{-\nu}^{-m v}). Indeed, we prove that in this latter calculus the existence of an infinite computation turns to be a decidable property.


πŸ“œ SIMILAR VOLUMES


On the General Expression for the Electr
✍ Hiroyuki Ohshima πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 75 KB

Electrokinetic equations for electrophoresis of a soft particle (that is, a hard particle covered with a layer of polyelectrolytes) have been solved previously under the conditions that the net force acting on the soft particle as a whole (the particle core plus the polyelectrolyte layer) must be ze

The effect of Lanthanum on electrophoret
✍ Thomas C. Smith πŸ“‚ Article πŸ“… 1976 πŸ› John Wiley and Sons 🌐 English βš– 426 KB πŸ‘ 1 views

## Abstract We have investigated the effects of La^+3^ binding to the surface of Ehrlich ascites tumor cells on cell electrophoretic mobility and passive movements of Na^+^ and K^+^. Incubation of tumor cells in La^+3^‐containing media results in a La^+3^ concentration‐dependent decrease in net sur

A review on egomotion by means of differ
✍ Xavier ArmanguΓ©; Helder AraΓΊjo; Joaquim Salvi πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 443 KB

The estimation of camera egomotion is an old problem in computer vision. Since the 1980s, many approaches based on both the discrete and the di erential epipolar constraint have been proposed. The discrete case is used mainly in self-calibrated stereoscopic systems, whereas the di erential case deal