A generic membrane model (note)

  • Authors:

  • Gérard Boudol

  • Affiliations:

  • INRIA Sophia Antipolis, Sophia Antipolis, France

  • Venue:
  • GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 π-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.