In a very different area, Milner also developed a theoretical framework for analyzing concurrent systems, the calculus of communicating systems (CCS), and its successor, the pi-calculus.
Позже, Робин Милнер разработал исчисление взаимодействующих систем (CCS), теоретическую основу для анализа взаимодействующих систем, а также его расширение — пи-исчисление.