Mobile Calculi based on Domains

A generic membrane model

G. Boudol


In this note we introduce a generic model for controlling migration in a network of distributed processes. To this end, we equip the membrane of a domain containing processes with some computing power, including in particular some specific primitives to manage the movements of entities from the inside to the outside of a domain, and conversely. We define a pi-calculus instance of our model, and illustrate by means of examples its expressive power. We also discuss a possible extension of our migration model to the case of hierarchically organized domains.

  author = \{G. Boudol},
  title = \{A generic membrane model},
  booktitle = \{Second Global Computing Workshop},
  year = \{2004}, 
  url = \{}

About this site. Last modified: Wed Sep 20 22:04:20 CEST 2017