Normal bisimulations in process calculi with passivation
Résumé
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.
Domaines
Langage de programmation [cs.PL]
Fichier principal
2009.03.01-Eart-Normal_bisimulations_in_process_calculi_with_passivation_by_Lenglet._S_Schmitt._A_Stefani._J.pdf (199.03 Ko)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...