Skip to content

Dr Ray Toal on Communicating Sequential Processes

Photo of Sam Lecuyer
Hosted By
Sam L.
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.

Photo of Papers We Love, LA group
Papers We Love, LA
See more events
Yahoo Playa Vista
11985 Bluff Creek Dr · Los Angeles, CA