Normal bisimulations in process calculi with passivation

Sergueï Lenglet 1, 2 Alan Schmitt 1, 2, * Jean-Bernard Stefani 1, 2, *
* Auteur correspondant
2 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Behavioral theory for higher-order process calculi is less well devel- oped than for first-order ones such as the π-calculus. The most natural process equivalence relation, barbed congruence, is difficult to use in practice because of the infinite number of test contexts it requires. One is therefore lead to find simpler characterizations of barbed congruence, which may not be easy to do for higher-order process calculi, especially in the weak case. Such characterizations have been obtained for some calculi. For instance, in the case of the higher π-calculus, HOπ, Sangiorgi has defined a notion of normal bisimulation, which characterizes barbed congruence and that requires only a finite number of tests. In this paper, we study bisimulations in higher-order calculi with a passivation operator, that allows the interruption and thunkification of a running process. We develop a normal bisimulation that characterizes barbed congruence, in the strong and weak cases, in a higher-order calculus with passivation, but without name restriction. We then show that this characterization result does not hold in the presence of name restriction.
Type de document :
Rapport
[Research Report] RR-6664, INRIA. 2008, pp.102
Liste complète des métadonnées

https://hal.inria.fr/inria-00330565
Contributeur : Jean-Bernard Stefani <>
Soumis le : mardi 14 octobre 2008 - 18:04:55
Dernière modification le : jeudi 11 janvier 2018 - 06:22:03
Document(s) archivé(s) le : mardi 9 octobre 2012 - 13:00:18

Fichier

RR-6664.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00330565, version 1

Collections

Citation

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation. [Research Report] RR-6664, INRIA. 2008, pp.102. 〈inria-00330565〉

Partager

Métriques

Consultations de la notice

307

Téléchargements de fichiers

83