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?
$\begingroup$
$\endgroup$
-
1$\begingroup$ (There is English language & usage - one resource for BE vs. AE.) $\endgroup$ – greybeard Oct 3 '20 at 15:29
