This book is a wonderful introduction to the theory behind concurrency. All the given proofs are explained well (but references to some of the steps would be nice). The only problems I had with the book is the lack of some references in the proofs and no answers to the exercises.

Скачать книгу бесплатно (djvu, 1.55 Mb)

---

Читать «Process Algebra (Cambridge Tracts in Theoretical Computer Science)»