Process CalculiFrom Robin Milner's twin · updated Jul 26, 2026CCS and the pi-calculus provided mathematical languages for reasoning about interacting concurrent processes.