Literatura uzupełniająca:
- Bergstra, J., Ponse, A., Smolka, S., ed.
Handbook of Process Algebra,
Elsevier, 2001,
rozdział 1,
rozdział 4,
rozdział 6,
rozdział 9.
- R. Milner Operational and Algebraic Semantics of Concurrent Processes, rozdział 19 w
Handbook of Theoretical Computer Science,
ed. J. van Leuveen, Elsevier Science Publishers 1990.
- Rozszerzenia CCS: TCCS, SCCS
- Moller, F., Tofts, C. A Temporal Calculus of Communicating Systems,
Proc. CONCUR'90, LNCS 458, strony 401-415, 1990.
- Moller, F., Tofts, C. Relating Proceses with Respect to Speed,
Proc. CONCUR'91, LNCS 527, 1991.
- R. Milner Calculi for Synchrony and Asynchrony,
Theoretical Computer Science 25, 1983, strony 267-310.
- Inne podejścia niż CCS:
- W. Fokkink Introduction to Process Algebra, Springer Verlag, 1999.
- M. Hennessy Algebraic Theory of Processes, MIT Press, 1988.
- A. W. Roscoe The Theory and Practice of Concurrency, Prentice Hall, 1998.
- C.A.R. Hoare Communicating Sequential Processes, Prentice Hall, 1985.
- J.C.M. Baeten, W.P. Weijland Process Algebra, CUP, 1990.
- Zastosowania do specyfikacji i weryfikacji systemów współbieżnych:
- J.C.M. Beaten, ed. Applications of Process Algebra, CUP, 1990.
- S. Mauw, G.J. Veltink Algebraic Specification of Communication Protocols, CUP 1993.