Concurrent and Real-time Systems: The CSP Approach

Rating:
Summary: Talking about almost everything is easier then you think
Review: The book talks about processes that happen in real time... Is there anything that cannot be seen as a real-time process? Not really...then how is it possible to even attempt such a goal?
The truth is this is not the first book that proves this goal can be achieved. But it is one of the best books I have seen at explaining you why every formal concept in the process algebra is needed and why things are not done in a different way.

Rarely you can find a book that builds a complex theory and yet abounds in real-life examples and problems, at the same time giving very natural and clear explanations.

This is an excellent book for someone that had some knowledge of process algebra before and intends to use it; it is not an introductory book for sure. It might not make sense to read it all once, but to have it and use it when solving problems.