process calculus
Sign in to saveAlso known as process algebras
diverse family of related approaches for formally modelling concurrent systems
Connections
Tony Hoare
Entity
Church–Turing thesis
Entity
concurrency
Entity
communicating sequential processes
Entity
π-calculus
Entity
Calculus of communicating systems
Entity
Language Of Temporal Ordering Specification
Entity
computer science
Entity
algebra
Entity
International Standard Book Number
Entity
digital object identifier
Entity
PDF
Entity
Turing machine
Entity
recursion
Entity
University of Hamburg
Entity
formal language
Entity
lambda calculus
Entity
universal algebra
Entity
type system
Entity
halting problem
Entity