Yes! CCS feels like “the” concurrent equivalent of the lambda calculus (although really there’s a huge family of similar simple process calculi that are all ess

Yes! CCS feels like “the” concurrent equivalent of the lambda calculus (although really there’s a huge family of similar simple process calculi that are all essentially the same). CSP feels very large and untidy in comparison.