English Process calculus Cited by user Citation bot on 07 Dec 2019 In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems.