In the first lecture I shall give a rapid introduction to the
Pi-calculus, discuss its use as a foundation for concurrent
programming languages, and talk about problems that arise in the
distributed setting.
Background on the Pi calculus can be found
in the
introductory papers
(in 2 parts; by Robin Milner, Joachim Parrow, and David Walker)
and a more recent tutorial :