Communicating Sequential Processes (CSP)

By Tony Hoare · 1985

A formal language and theory for describing systems of concurrent processes that interact by communication, providing a rigorous basis for reasoning about concurrency.