Modelling Distributed Systems

Modelling Distributed Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 158
Release :
ISBN-10 : 9783540739388
ISBN-13 : 3540739386
Rating : 4/5 (386 Downloads)

Book Synopsis Modelling Distributed Systems by : Wan Fokkink

Download or read book Modelling Distributed Systems written by Wan Fokkink and published by Springer Science & Business Media. This book was released on 2007-09-05 with total page 158 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Modelling Distributed Systems Related Books

Modelling Distributed Systems
Language: en
Pages: 158
Authors: Wan Fokkink
Categories: Computers
Type: BOOK - Published: 2007-09-05 - Publisher: Springer Science & Business Media

GET EBOOK

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techni
Models and Analysis for Distributed Systems
Language: en
Pages: 249
Authors: Serge Haddad
Categories: Computers
Type: BOOK - Published: 2013-02-07 - Publisher: John Wiley & Sons

GET EBOOK

Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical
Designing Reliable Distributed Systems
Language: en
Pages: 326
Authors: Peter Csaba Ölveczky
Categories: Computers
Type: BOOK - Published: 2018-02-12 - Publisher: Springer

GET EBOOK

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses M
Modeling And Simulation Of Distributed Systems (With Cd-rom)
Language: en
Pages: 438
Authors: Alexander Kostin
Categories: Computers
Type: BOOK - Published: 2010-06-28 - Publisher: World Scientific Publishing Company

GET EBOOK

CD-ROM with a simulation system and numerous solved models is attached to the book. Distributed systems are a continuously expanding area of computer science an
Soft Computing Methods for System Dependability
Language: en
Pages: 293
Authors: Mellal, Mohamed Arezki
Categories: Computers
Type: BOOK - Published: 2019-12-27 - Publisher: IGI Global

GET EBOOK

Technology in today’s world has continued to develop into multifaceted structures. The performance of computers, specifically, has significantly increased lea