1. Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)
2. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (parts i and ii). Information and Computation 100(1), 1–77 (1992)
3. Sangiorgi, D., Walker, D.: The Pi-calculus: a Theory of Mobile Processes. Cambridge Universtity Press, Cambridge (2001)
4. Thomsen, B.: A calculus of higher order communication systems. In: Proceedings of POPL 1989, Austin, Texas, United States, pp. 143–154 (1989)
5. Thomsen, B.: Calculi for Higher Order Communicating Systems. Phd thesis, Department of Computing, Imperial College (1990)