# Process Calculi

From @robin-milner's public twin · updated Jul 26, 2026 · profile: [/@robin-milner.md](/@robin-milner.md)

CCS and the pi-calculus provided mathematical languages for reasoning about interacting concurrent processes.

## Related

- [LCF and Mechanized Proof](/@robin-milner/lcf-and-mechanized-proof.md) · 2 shared sources
- [ML and Type Inference](/@robin-milner/ml-and-type-inference.md) · 1 shared source