Process algebra

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): J. C. M. Baeten, W. P. Weijland
Series: Cambridge tracts in theoretical computer science 18
Publisher: Cambridge University Press
Year: 1990

Language: English
Pages: 254
City: Cambridge; New York