To my knowledge, there are three major process algebras that have inspired a vas

Question

To my knowledge, there are three major process algebras that have inspired a vast range of research into formal models of concurrency. These are: CCS and ?-calculus both by Robin Milner CSP by Tony Hoare and ACP by Jan Bergstra and Jan Willem Klop All three seem to have to this day a quite active following and vast amounts of research has been done on them. What are the key similarities and differences of these approaches? Why has research in process algebra diverged instead of converged, in the sense that there is no one universal model to unify the field?

Explanation / Answer

Answering (at least) the part of your question regarding why research has

diverged instead of converged.

Being no expert on process algebras, I was once wondering the exact same thing:

why are there so many theories? I was pointed to a survey by Parrow:

Expressiveness of Process Algebras, 2008. I think it is very nicely written and

even a novice could understand it.

Parrow investigates the expressiveness of algebras and answers the question. In

short, different theories are different kind of tools for solving a huge task.

Related Questions

Navigate

• Browse (All)
• Browse T
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.