ITEE seminar: Prof. Elio Giovannetti, 11.00AM, Fri 07 Mar 2003

Mobility Types for Mobile Processes in Mobile Ambients

Speaker: Prof. Elio Giovannetti, University of Turin

When: 11.00AM, Friday 07 Mar 2003

Venue: 78-420

Host: Dr. Guido Governatori

Abstract:

  We present an ambient-like calculus in which the open capability is
  dropped, and a new form of ``lightweight'' process mobility is
  introduced.  The calculus comes equipped with a type system that
  allows the kind of values exchanged in communications and the access
  and mobility properties of processes to be controlled.  A type
  inference procedure determines the ``minimal'' requirements to
  accept a system or a component as well typed.  As an expressiveness
  test, we show that some well known calculi of concurrency and
  mobility can be encoded in our calculus.

Biography:

  Associate Professor at the Dept. of Informatics, University of Turin,
  Research Group Semantics and Logics of Computation.
  Research area: Calculi and types for mobility, Intersection types
  and logics.
  EU projects on Global Computing: Mikado and DART

  He has been Associate Professor at the University of Florence,
  Dept. of Informatics and Systems

  Formerly, researcher at CSELT - Centro Studi e Laboratori
  Telecomunicazioni (now Telecom Italia Labs)

Contact:

Dr. Guido Governatori, seminar host (guido@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator) (guido@itee.uq.edu.au)

ITEE seminar web page: http://www.itee.uq.edu.au/~seminar

[All seminars]