Modelling Distributed Systems PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Modelling Distributed Systems PDF full book. Access full book title Modelling Distributed Systems by Wan Fokkink. Download full books in PDF and EPUB format.

Modelling Distributed Systems

Modelling Distributed Systems PDF Author: Wan Fokkink
Publisher: Springer Science & Business Media
ISBN: 3540739386
Category : Computers
Languages : en
Pages : 158

Get Book Here

Book Description
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs μCRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.