models

models

Communicating Sequential Processes (CSP)

The unavoidable price of reliability is simplicity.
C.A.R. Hoare