Name: Dr Ray Toal on Communicating Sequential Processes
Start: 2016-05-25T19:00:00-07:00
End: 2016-05-25T22:00:00-07:00
Location: Yahoo Playa Vista

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.

Sam Lecuyer

Papers We Love, LA

Technology

Big Data

Intellectual Discussions

Software Development

Education & Technology

Critical Thinking

Computer Programming

Programming Languages

Computer Science

Distributed Systems

Cloud Computing

Dr Ray Toal on Communicating Sequential Processes

Yahoo Playa Vista

Share

Papers We Love, LA

Dr Ray Toal on Communicating Sequential Processes

Papers We Love, LA

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).

Members are also interested in