It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi.
Član je porodice matematičkih teorija konkurentnosti poznate kao procesne algebre, ili procesni računi.