Technical Report Number
In the last two decades, mathematical theories have been helping computer scientists see, in a fresh light, problems in the area of programming methodology and solve these problems more efficiently and reliably than before. In this series of seminars we demonstrate the application of mathematics in parallel languages and programming.
Lai, Luming, "Introduction to Communicating Sequential Processes" Report Number: WUCS-90-24 (1990). All Computer Science and Engineering Research.