1. Hoare C A R. Communicating sequential processes. Communications of the ACM, 1983, 26(1): 100–106
2. Milner R. Communication and Concurrency. New York etc.: Prentice- Hall, Inc., 1989
3. Milner R, Parrow J, Walker D. A calculus of mobile processes, I. Information and Computation, 1992, 100(1): 1–40
4. Boudol G, Castellani I, Hennessy M, Nielsen M, Winskel G. Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. Concurrency, Graphs and Models. Springer, Berlin, Heidelberg, 2008, 757–777
5. Boudol G, Castellani I. A non-interleaving semantics for CCS based on proved transitions. Research Report, 1988