Course on mobility

This course will focus on semantical model for mobile computation. We will essentially study Milner's pi-calculus. Here is a tentative lists of topics that shall be covered:

• The pi-calculus, syntax and semantics  basic examples, programming idioms, some "natural" subcalculi
• Behavioural equivalence and bisimulation calculi for concurrency, and in particular the mechanisation of bisimulation proofs
• Type systems the simply typed pi-calculus, subtyping and I/O types
• Functions as processes: lambda in pi a basic encoding and its variations