inria-00347137, version 2
Howe's Method for Early Bisimilarities
Sergueï Lenglet
a, 1Alan Schmitt b, 1Jean-Bernard Stefani b, 1
N° RR-6773 (2008)
Résumé : 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.
- a – Université Joseph Fourier - Grenoble I
- b – INRIA
- 1 : SARDES (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)
- INRIA – Institut National Polytechnique de Grenoble (INPG) – Université Joseph Fourier - Grenoble I – Université Pierre Mendès-France - Grenoble II – CNRS : UMR5217
- Domaine : Informatique/Calcul parallèle, distribué et partagé
Informatique/Langage de programmation - Mots-clés : Process calculus – bisimilarity – bisimulation – early bisimilarity – Howe's method – higher-order calculus – congruence proof
- Référence interne : RR-6773
- Versions disponibles : v1 (15-12-2008) v2 (22-04-2009)
- inria-00347137, version 2
- http://hal.inria.fr/inria-00347137
- oai:hal.inria.fr:inria-00347137
- Contributeur : Jean-Bernard Stefani
- Soumis le : Mardi 21 Avril 2009, 18:52:52
- Dernière modification le : Mercredi 22 Avril 2009, 08:18:42
Documents associés
Exporter