Question

In the literature, the terms of "process calculus" and "process algebra" are often interchangeable. Meanwhile, it confused me.

My questions are:

  1. Are there formal, standard, and widely-accepted definitions of "calculus" and "algebra"?
  2. What are the significant distinctions (maybe informally) between "calculus" and "algebra"?
  3. 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
scroll top