Robin Milner uses both terms: Calculus for Communicating Systems and Calculus of Communicating Systems and, AFAIK, writes CCS for both. Is there any difference between the two? Is there a difference in semantics? Or is it simply British English vs. American English?
-
1$\begingroup$ (There is English language & usage - one resource for BE vs. AE.) $\endgroup$– greybeardOct 3, 2020 at 15:29