1. Translating concurrent programs into delay-insensitive circuits
2. Communicating sequential processes
3. Mathematical Logic and Programming;Hoare C. A. R.;Languages. Philos. Trans. R. Soc. A,1984
4. Solving Scientific Problems on;Hoare C. A. R.;Multiprocessors. Philos. Trans. R. Soc. A,1988