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
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
## 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
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