[moca] types with behavioural effects

[Davide Sangiorgi <Davide.Sangiorgi@xxxxxxxxxxx>]

I am preparing some lectures on types for mobile processes. In
particular, i am interested in the use of types for guaranteeing
useful behavioural properties; i am considering to write a short
bibliography on that.  There has been a lot of work on this topic, and
i am not sure i am aware of all relevant most recent work. If you have
done some work on this topic recently (say, during the last 4 years,
1999 included) i'd be grateful if you sent me
(Davide.Sangiorgi@xxxxxxxxxxx) pointers or short descriptions.
 
   To help clarifying my demand, examples of types with behavioural
effects are:
-- capability types (various forms, in a number of calculi)
-- polymorhism (because of the information hiding it provides)
-- types for information flow
-- types for deadlock freedom
-- types for controlling the mobility of ambients

Thanks
Davide



----------------------------------------------------------
Prof. Davide Sangiorgi        Phone: +39 051 2094980
Dip.Scienze dell'Informazione Fax: +39 051 2094510
Universita' di Bologna        
Mura Anteo Zamboni, 7         
I-40127 Bologna
  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html