Book Info
Describes steps of the modelling process and explains modelling decisions in detail and how to deal with limitations of the theory and tools. Stresses a pragmatic, engineering approach to modelling and analysis of distributed systems. DLC: Electronic data processing .
From the Back Cover
This unique book stresses a pragmatic, engineering approach to the modelling and analysis of distributed systems. Shows how distributed systems can be analysd using the process notation CCS, temporal logic and automatic tools. Describes steps of the modelling process, explains modelling decisions in detail and shows how to deal with limitations of the theory and tools. After covering basic theory, it describes how CCS has been applied to both classic distributed systems and recently developed industrial systems. In each case the system is modelled, its properties are expressed in temporal logic and the analysis results discussed. Every chapter contains exercises, and appendices describe available analysis tools in detail.For developers interested in distributed systems.
This item is not eligible for Amazon Prime, but millions of other items are. Join Amazon Prime today. Already a member? Sign in.
Editorial Reviews
Product Details
Would you like to update product info or give feedback on images?
|
Suggested Tags from Similar Products( What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product).
Help others find this product - tag it for Amazon search
No one has tagged this product for Amazon search yet. Why not be the first to suggest a search for which it should appear?
|
 |
|||||||
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Rate This Item to Improve Your Recommendations
Customer Reviews
There are no customer reviews yet. 
| |||
Video reviews
|
 |
