1.

国際会議録
国際会議録
1. Notes on Communicating Sequential Processes
Hoare R. A. C.
出版情報: Control flow and data flow : concepts of distributed programming : international summer school.  pp.123-204,  1985.  Berlin.  Springer-Verlag
シリーズ名: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号: 14
2.

国際会議録
国際会議録
2. Refinement Algebra Proves Correctness of Compilation
Hoare R. A. C. ; Jifeng He
出版情報: Programming and mathematical method.  pp.245-269,  1992.  Berlin.  Springer-Verlag
シリーズ名: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号: 88
3.

国際会議録
国際会議録
3. Laws of Programming
Hoare R. A. C. ; Hayes J. I. ; Jifeng He ; Morgan C. C. ; Roscoe W. A. ; Sanders W. J. ; Sorenson H. I. ; Spivey M. J. ; Sufrin A. B.
出版情報: Programming and mathematical method.  pp.95-122,  1992.  Berlin.  Springer-Verlag
シリーズ名: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号: 88
4.

国際会議録
国際会議録
4. Evoi at Marktoberdorf 1996
Hoare R. A. C.
出版情報: Mathematical methods in program development.  pp.9-10,  1997.  Berlin.  Springer
シリーズ名: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号: 158
5.

国際会議録
国際会議録
5. Unified Theories of Programming
Hoare R. A. C.
出版情報: Mathematical methods in program development.  pp.313-367,  1997.  Berlin.  Springer
シリーズ名: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号: 158
6.

国際会議録
国際会議録
6. STRUCTURE OF AN OPERATING SYSTEM
Hoare R. A. C. ; McKeag M. R.
出版情報: Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare.  pp.643-658,  1982.  Dordrecht, Holland.  D. Reidel
シリーズ名: NATO ASI series. Series C, Mathematical and physical sciences
シリーズ巻号: 91
7.

国際会議録
国際会議録
7. DISCRETE EVENT SIMULATION BASED ON COMMUNICATING SEQUENTIAL PROCESSES
Kaubisch H. W. ; Hoare R. A. C.
出版情報: Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare.  pp.625-642,  1982.  Dordrecht, Holland.  D. Reidel
シリーズ名: NATO ASI series. Series C, Mathematical and physical sciences
シリーズ巻号: 91
8.

国際会議録
国際会議録
8. Notes on an Approach to Category Theory for Computer Scientists
Hoare R. A. C.
出版情報: Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.].  pp.245-305,  1989.  Berlin.  Springer-Verlag
シリーズ名: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号: 55