Book of Donmon Teith

Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses M

This book intends to inculcate the innovative ideas for the scheduling aspect in distributed computing systems. Although the models in this book have been desig

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

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techni