The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a comprehensive and clear presentation of the several semantical approaches to parallelism motivated the stress on mathematical models, by means of which comparisons among different approaches can also be performed in a perspicuous way.
Amazon 2008-11-24. Mother of God, this is the most boring thing I've read in months. I'll take what I've learned of CSP from reading C. A. R. Hoare and the π-calculus I've learned from Robin Milner, which is likely honestly quite enough modeling of concurrency for one lifetime, and hope I can scrape by. I got to page 31 and can't even use it to put off studying for tomorrow's final anymore. Back to John Shen's Modern Processor Design until tomorrow, hi-ho!