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