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 concurrency).
Questions tagged [process-algebras]
23 questions
2
votes
2 answers
What are some of the practical applications of CSP process algebra?
CSP is used for the description and representation of concurrent systems, how it is used in practice (theoretically and programmatically)?
What are the application areas (other than concurrent and parallel systems) where it is used?
user1125516
- 87
- 1
- 3