Dr Ray Toal on Communicating Sequential Processes


Details
This month, we have Dr Toal presenting C.A.R. Hoare's classic Communicating Sequential Processes (http://spinroot.com/courses/summer/Papers/hoare_1978.pdf).
--
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When combined with a development of Dijkstra's guarded command, these concepts are surprisingly versatile. Their use is illustrated by sample solutions of a variety of familiar programming exercises.
--
We'll be back at Yahoo's Playa Vista campus, where food and drink will be provided. The parking lot between Bluff Creek and Artisan's will be complimentary.

Dr Ray Toal on Communicating Sequential Processes