Process Algebra (Cambridge Tracts in Theoretical Computer Science)
J. C. M. Baeten, W. P. Weijland
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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
