Subject: Une gamme d'e'quivalences de processus
Jour: 19/06/98 (Vendredi 19 juin)

           http://pauillac.inria.fr/bin/calendar/Seminaires


                             S E M I N A I R E
       ____               ____                             ___                
      /    _   _         /     __     __  /_  _   /       /   |  _   __   _   
     /    / \ / \  ___  /     /  | / /_  /   __| /  ___  /___/  __| /  | __|  
    |___  |_/ |_/      |____ /    / __/ |_  |_/ |_      /      |_/ /    |_/   
               /                                                              
              /                                                               
                          I N R I A - Rocquencourt, 
                    Salle de confe'rence du batiment 11

                          Vendredi 19 juin, 10h30
                          

                             -----------------
                              Georges Gonthier
                             -----------------

                             INRIA-Rocquencourt
                                      

                  =======================================
                   Une gamme d'e'quivalences de processus
                  =======================================

                  (Travail en commun avec Cedric Fournet)


     Devant   la  ple'thore de  notions  d'e'quivalence  propose'es  pour les
 calculs de processus concurrents, on a l'embarras  du choix quand on cherche
 a` e'tablir une identite'. Faut-il utiliser une e'quivalence intensionnelle,
 a` base  de   bisimulation, pour laquelle  on   a des   me'thodes  de preuve
 syntaxiques bien e'tablies ? Ou  pluto^t une e'quivalence extensionnelle, a`
 base de traces,  qui nous garantira l'existence  d'un sce'nario  d'e'chec si
 notre identite' se re've'lait fausse ?
     Dans cet expose' nous  proposerons une petite gamme  d'e'quivalences qui
 e'tablit une  continuite' entre  ces   diffe'rents types  de'quivalences  de
 nature apparemment incompatibles. Cette gamme permet d'aborder une preuve a`
 differents niveaux, et de changer de niveau en cas de proble`me.
     Au  passage, nous  de'montrerons    quelques coincidences nouvelles   et
 parfois surprenantes entre  e'quivalences, et nous fermerons une  conjecture
 de Milner.