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


                      ********************************
                      *** NOTE THE CHANGE OF TIME ***
                      ********************************

      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

                         Vendredi 20 septembre, 14h

                             -----------------
                             Vladimiro Sassone
                             -----------------


            ===================================================
            Communication Interference in Mobile Boxed Ambients
            ===================================================


  Boxed  Ambients  (BA)  replace  Mobile Ambients'  open  capability  with
  communication        primitives       acting        across       ambient
  boundaries.  Expressiveness is  achieved at  the price  of communication
  interferences   on   message   reception   whose   resolution   requires
  synchronisation of activities at multiple, distributed locations.

  We   study  a  variant   of  BA   aimed  at   controlling  communication
  interferences as well as  mobility ones.  Our calculus draws inspiration
  from Safe Ambients (SA)  (with passwords) and modifies the communication
  mechanism of  BA.  Expressiveness  is maintained through  a new  form of
  co-capability that at  the same time registers incoming  agents with the
  receiver ambient and performs access control.

  We  prove that new  calculus has  a rich  semantics theory,  including a
  sound  labelled transition system  characterisation, and  an expressive,
  yet simple type  system.  Through a set of  examples we characterise its
  expressiveness with respect to both BA and SA.