To: seminaire@pauillac.inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Moscova - 03/02/06 - 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
                     Salle de conférences du bâtiment 7

                         Vendredi 3 fevrier, 10h30

                                ------------
                                David Teller
                                ------------

                            University of Sussex

    ===================================================================
    Un pi-calcul pour parler des ressources et pour mieux les contrôler
    ===================================================================

Les techniques de mobilité et de distribution, de plus en plus répandues en
informatique, sont souvent utilisées pour dépasser ou contourner des
limitations sur des ressources telles que la mémoire vive, les senseurs ou
encore les autorisations. Ce problème et ces solutions sont centrales, pour
des raisons liées à la sécurité, à la compilation ou à la qualité de
service. Cependant, les notions de ressources, et plus spécialement de
ressources limitées, restent essentiellement informelles, notamment dans le
cadre de la mobilité ou de la distribution.

Quelles sont les questions posées par la gestion des ressources? Ce sont des
questions d'allocation, de désallocation, de partage, de propriété, de
transmission, de protocoles. Nous parlerons de ces problèmes, d'abord
informellement, puis formellement, à l'aide d'une algèbre de processus tirée
du pi-calcul et dotée d'outils sémantiques conçus pour permettre de traiter
tous ces aspects. Nous mentionnerons notamment la réutilisation de ressources,
le ramassage de miettes (garbage-collection), ainsi que certaines garanties
qui peuvent être fournies de bonne manipulation des ressources.