1. Communication and Concurrency;Milner,1989
2. A Calculus of Communicating Systems;Milner,1980
3. Introduction to Process Algebra;Fokkink,2007
4. A calculus of mobile processes, part I;Milner;Information and Computation,1992
5. A calculus of mobile processes, part II;Milner;Information and Computation,1992