Communicating Sequential Processes. Prentice-Hall (1985)

by C A R Hoare
Venue:In Proceedings of the 2005 ACM/IEEE Conference on Supercomputing (SC’05). IEEE Computer Society