process calculus

diverse family of related approaches for formally modelling concurrent systems

카테고리: