Terminologies of “Process calculus” and “Process algebra” [duplicate]
-
01-11-2019 - |
Question
This question already has an answer here:
In the literature, the terms of "process calculus" and "process algebra" are often interchangeable. Meanwhile, it confused me.
My questions are:
- Are there formal, standard, and widely-accepted definitions of "calculus" and "algebra"?
- What are the significant distinctions (maybe informally) between "calculus" and "algebra"?
- What are the features that make a theory kind of "calculus" or "algebra"?
No correct solution
Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange