process calculus
Sign in to saveAlso known as process algebras
diverse family of related approaches for formally modelling concurrent systems
Also known as process algebras
diverse family of related approaches for formally modelling concurrent systems