process calculus

diverse family of related approaches for formally modelling concurrent systems