A Model Ior Communicating Sequential Processes (1978)

by C A R Hoare