Howe's Method for Early Bisimilarities

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 : This report shows how to apply Howe's method for the proof of congruence of early bisimilarities in higher-order process calculi. This involves the introduction of a new kind of transition system and a new kind of bisimilarity, collectively 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.
Type de document :
Rapport
[Research Report] RR-6773, INRIA. 2008, pp.69
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00347137
Contributeur : Jean-Bernard Stefani <>
Soumis le : mardi 21 avril 2009 - 18:52:52
Dernière modification le : jeudi 11 janvier 2018 - 01:48:48
Document(s) archivé(s) le : mercredi 29 mars 2017 - 16:47:36

Fichier

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

Identifiants

  • HAL Id : inria-00347137, version 2

Collections

Citation

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani. Howe's Method for Early Bisimilarities. [Research Report] RR-6773, INRIA. 2008, pp.69. 〈inria-00347137v2〉

Partager

Métriques

Consultations de la notice

202

Téléchargements de fichiers

100