Communicating Sequential Processes, on line

Tony Hoare博士の "Communicating Sequential Processes (CSP)" の PDF版が
オンラインで公開されています：

Communicating Sequential Processes (CSP)
　http://www.usingcsp.com/
　"Communicating Sequential Processes, or CSP, is a language for describing
　 patterns of interaction. It is supported by an elegant, mathematical
　 theory, a set of proof tools, and an extensive literature. The book
　 Communicating Sequential Processes was first published in 1985 by Prentice
　 Hall International (who have kindly released the copyright); it is an
　 excellent introduction to the language, and also to the mathematical theory."

Hoare博士は、現在 Microsoft Research：
　Tony Hoare, 11 October, 1999
　http://research.microsoft.com/%7Ethoare/
Gordon Bell博士も：
　Gordon Bell, Microsoft Bay Area Research Center
　http://research.microsoft.com/users/GBell/
　 "Total Recall",
　　By: Steven Cherry, IEEE Spectrum Novemver 2005
　　　http://spectrum.ieee.org/nov05/2153
　　　"A Microsoft researcher is determined to record everything about his life. Everything"
　　　70歳を過ぎても、好奇心はまだ々旺盛。