Méthode de Howe pour la sémantique contextuelle

We show how to use Howe’s method to prove that context bisimilarity is a congruence for process calculi equipped with their usual semantics. We apply the method to two extensions of HOπ, with passivation and with join patterns, illustrating different proof techniques.Nous montrons comment utiliser la méthode de Howe pour prouver que la bissimilarité contextuelle d’un calcul de processus muni de sa sémantique habituelle est une congruence. Nous appliquons cette méthode à deux extensions de HOπ, l’une avec passivation, l’autre avec des motifs à jointure, pour mettre en évidence des techniques de preuve différentes