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
Large-Scale Distributed Computing and Applications: Models and Trends
Language: en
Pages: 276
Authors: Cristea, Valentin
Categories: Computers
Type: BOOK - Published: 2010-05-31 - Publisher: IGI Global

DOWNLOAD EBOOK

Many applications follow the distributed computing paradigm, in which parts of the application are executed on different network-interconnected computers. The e