What Is Process Algebras?

In computer science, the process calculi are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes.

What does process mean in algebra?

A process algebra was a structure in the sense of universal algebra that satisfied a particular set of axioms. ... Since 1984 they used the phrase process algebra also to denote an area of science (i.e. as a noun without particle).

What is parallel composition?

Parallel Composition "||" ( P || Q) expresses the parallel composition of the processes P and Q. It constructs an LTS which allows all the possible interleavings of the actions of the two processes.