Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)

by C A R Hoare
Venue:Proc. ACM SIGACTSIGOPS Symp. on Principles of Distributed Compuling(August