To: seminaire@pauillac.inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Cristal - 19/11/04 - Paris - FR

           Vous pouvez vous abonner à nos annonces de séminaires
             http://pauillac.inria.fr/seminaires/subscribe.html

                             S E M I N A I R E
       ___      .                       
      /    ___   __  /_  _   /             /| /|  _   __ __ _       _ 
     /    /   / /_  /   __| /    -----    / |/ | / \ /_ /  / \ | / __|
    |___ /   / __/ |_  |_/ |_            /     | |_/__/ |_ |_/ |/ |_/
                                                
                          I N R I A - Rocquencourt
                         Amphi Turing du bâtiment 1

                        Vendredi 19 novembre, 10h30

                                ------------
                                Alan Schmitt
                                ------------


                      ================================
                      Equivalences dans le Kell Calcul
                      ================================


    Le Kell Calcul  est un calcul de processus  d'ordre supérieur ayant pour
    objectif de modéliser des composants et leur environnement.

    Nous  présenterons  le calcul,  motivant  ses  caractéristiques par  les
    aspects  nécessaires  pour  modéliser  des  composants.  Nous  décrirons
    ensuite  comment des  composants  peuvent être  modélisés  dans le  Kell
    Calcul.   Nous donnerons  enfin un  état des  lieux des  équivalences et
    bisimulations dans le Kell Calcul.

    Plus d'information sur  le Kell Calcul peut-être trouvé  sur la page web
    http://sardes.inrialpes.fr/kells/