C a R Hoare

C a R Hoare is the author of books such as Communicating Sequential Processes.

Books by C a R Hoare

No cover image available

Communicating Sequential Processes

No cover image available

Mathematical Logic and Programming Languages

No cover image available

Developments In Concurrency and Communication