Communicating Sequential Processes. Prentice-Hall. [HSM97] Jifeng (1985)

by C A R Hoare
Venue:Science of Computer Programming