On Concurrent Programming
Schneider, Fred B.![On Concurrent Programming](https://support.digitalhusky.com/media/annotations/sorted/152/15214517/CHSBZCOP0315214517.jpg)
Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed for use as a graduate text. Professor Schneier emphasises the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition, while exer...