Mobile processes: a commented bibliography

  • Authors:

  • Silvano Dal Zilio

  • Affiliations:

  • Microsoft Research

  • Venue:
  • Modeling and verification of parallel processes
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processes, namely labile processes, which can exhibit dynamic changes in their interaction structure, as modelled in the π-calculus of Milner, Parrow and Walker for example, and motile processes, which can exhibit motion, as modelled in the ambient calculus of Cardelli and Gordon. A common characteristic of the algebraic frameworks presented in this paper is the use of names as first class values and the support for the dynamic generation of new, fresh names.