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

DOWNLOAD 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

DOWNLOAD 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

DOWNLOAD 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

DOWNLOAD 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
Parallel and Distributed Simulation Systems
Language: en
Pages: 324
Authors: Richard M. Fujimoto
Categories: Computers
Type: BOOK - Published: 2000-01-03 - Publisher: Wiley-Interscience

DOWNLOAD EBOOK

From the preface, page xv: [...] My goal in writing Parallel and Distributed Simulation Systems, is to give an in-depth treatment of technical issues concerning