Mobile Calculi based on Domains


A generic membrane model

G. Boudol

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

@InProceedings\{boudol:generic-membrane-model,
  author = \{G. Boudol},
  title = \{A generic membrane model},
  booktitle = \{Second Global Computing Workshop},
  year = \{2004}, 
  url = \{http://mikado.di.fc.ul.pt/repository/boudol_generic-membrane-model.pdf}
}


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