Normal bisimulations in process calculi with passivation

Sergueï Lenglet 1 Alan Schmitt 1 Jean-Bernard Stefani 1
1 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 developed than for first-order ones such as the π-calculus. In particu- lar, effective coinductive characterizations of barbed congruence, such as the notion of normal bisimulation developed by Sangiorgi for the higher- order π-calculus, are difficult to obtain. In this paper, we study bisim- ulations in two simple 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, for the first calculus which has no name restriction operator. We then show that this result does not hold in the calculus extended with name restriction.
Type de document :
Communication dans un congrès
Luca de Alfaro. 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. Springer, 5504, pp.257--271, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-00596-1_19〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00490810
Contributeur : Alan Schmitt <>
Soumis le : mercredi 9 juin 2010 - 15:19:41
Dernière modification le : jeudi 11 janvier 2018 - 06:22:03
Document(s) archivé(s) le : jeudi 1 décembre 2016 - 06:40:44

Fichier

2009.03.01-Eart-Normal_bisimul...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation. Luca de Alfaro. 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. Springer, 5504, pp.257--271, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-00596-1_19〉. 〈inria-00490810〉

Partager

Métriques

Consultations de la notice

576

Téléchargements de fichiers

116