# An Asynchronous Model of Locality, Failure, and Process Mobility

1 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We present a model of distributed computation which is based on a fragment of the $\pi$-calculus relying on {\em asynchronous} communication. We enrich the model with the following features: the explicit distribution of processes to locations, the failure of locations and their detection, and the mobility of processes. Our contributions are two folds. At the specification level, we give a synthetic and flexible formalization of the features mentioned above. At the verification level, we provide original methods to reason about the bisimilarity of processes in the presence of failures.
Keywords :
Type de document :
Rapport
RR-3109, INRIA. 1997
Domaine :

https://hal.inria.fr/inria-00073581
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 13:14:05
Dernière modification le : jeudi 11 janvier 2018 - 16:41:53
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:50:51

### Identifiants

• HAL Id : inria-00073581, version 1

### Citation

Roberto M. Amadio. An Asynchronous Model of Locality, Failure, and Process Mobility. RR-3109, INRIA. 1997. 〈inria-00073581〉

### Métriques

Consultations de la notice

## 104

Téléchargements de fichiers