Howe's Method for 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 : We show how to apply Howe's method for the proof of congruence of early bisimilarities in a higher-order process calculus with passivation. This involves the introduction of a proof technique based on a new kind of transition system and bisimilarity, called complementary semantics. We show that complementary semantics is equivalent to contextual semantics, originally introduced by Sangiorgi, that relies on classical transition systems for higher-order calculi and context bisimilarity. We apply this technique to obtain the first characterization of weak barbed congruence for such a higher-order calculus with passivation.
Type de document :
Communication dans un congrès
Mario Bravetti and Gianluigi Zavattaro. 20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. Springer, 5710, pp.448--462, 2009, Lecture Notes in Computer Science
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00486800
Contributeur : Alan Schmitt <>
Soumis le : mercredi 26 mai 2010 - 17:20:32
Dernière modification le : mercredi 11 avril 2018 - 01:56:05
Document(s) archivé(s) le : vendredi 19 octobre 2012 - 15:02:23

Fichier

Lenglet2009Howes-Method-for-Ca...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00486800, version 1

Collections

Citation

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Howe's Method for Calculi with Passivation. Mario Bravetti and Gianluigi Zavattaro. 20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. Springer, 5710, pp.448--462, 2009, Lecture Notes in Computer Science. 〈inria-00486800〉

Partager

Métriques

Consultations de la notice

503

Téléchargements de fichiers

131