To: seminaire@pauillac.inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Cristal - 12/09/02 - Paris - FR

*** Notez le jour et l'horaire inhabituel ***

      Vous pouvez maintenant 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 conference du Bat 11

                         jeudi 12 septembre, 14h30

                               -------------
                               Cosimo Laneve
                               -------------

                           Université de Bologne

                             ==================
                             The Fusion Machine
                             ==================


    We present  a new  model for the  distributed implementation  of pi-like
    calculi,  which permits strong  correctness results  that are  simple to
    prove.  We describe  the distributed  channel machine  --  a distributed
    version  of a  machine  proposed by  Cardelli.  The distributed  channel
    machine  groups  pi-processes  at  their  channels  (or  locations),  in
    contrast  with  the more  common  approach  of incorporating  additional
    location  information within  pi-processes.  We  go on  to  describe the
    fusion machine. It uses a  form of concurrent constraints called fusions
    -- equations  on  channel names  --  to  distribute  fragments of  these
    processes  between  remote  channels.   This  fragmentation  avoids  the
    movement of large  continuations between locations, and leads  to a more
    efficient implementation model.