On the computational strength of pure ambient calculi

  • Authors:

  • Sergio Maffeis;Iain Phillips

  • Affiliations:

  • Department of Computing, Imperial College London, 180 Queen's Gate, South Kensington Campus, London SW7 2AZ, UK;Department of Computing, Imperial College London, 180 Queen's Gate, South Kensington Campus, London SW7 2AZ, UK

  • Venue:
  • Theoretical Computer Science - Expressiveness in concurrency
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Cardelli and Gordon's calculus of Mobile Ambients has attracted widespread interest as a model of mobile computation. The standard calculus is quite rich, with a variety of operators, together with capabilities for entering, leaving and dissolving ambients. The question arises of what is a minimal Turing-complete set of constructs. Previous work has established that Turing completeness can be achieved without using communication or restriction. We show that it can be achieved merely using movement capabilities (and not dissolution). We also show that certain smaller sets of constructs are either terminating or have decidable termination.