The Stack Overflow podcast is back! Listen to an interview with our new CEO.

Process algebras (also known as process calculi) are formal models of concurrency

A process calculus, or process algebra, is a formal model of concurrent systems (see also ).

Examples of process calculi

Further reading

history | excerpt history