Lecture notes on the π-calculus and Concurrent ML [pdf]