Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Elements of Distributed Algorithms

Name: Elements of Distributed Algorithms
Brand: Springer, Berlin
SKU: 01653327
Price: 40.45 EUR
Availability: InStock
Author: Wolfgang Reisig
ISBN: 9783642083037

Modeling and Analysis with Petri Nets

Wolfgang Reisig

Language

English

Book Paperback

Libristo code: 01653327

Publishers Springer, Berlin, October 2010

Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of compu... Full description

Libristo code: 01653327

98 b

40.45 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Haiv Neeg Hmoob Yog Leej Twg? Khab Yaj Xyooj Book

Hardback

19.41 €

Auf den Spuren der Herrlichkeit Gottes Cordula Heupts

Hardback

127.04 €

What's on... anglais cycle 4 / 3e - Workbook - éd. 2017 James Windsor

Hardback

14.25 €

Documents Diplomatiques Francais Ministère des Affaires étrangères

Hardback

115.21 €

Tagebuch einer Griechischen Reise F. G. Welcker

Paperback

38.33 €

Aller guten Dinge sind zwei Mhairi McFarlane

Adobe ePub DRM

16.48 €

Duftesser oder Was darf die Medizin? Linus S. Geisler

Paperback

16.18 €

Les Memoires Estant Prieur de Saint-Denis Et Depuis Assistant Du R. P. General Sans Auteur

Paperback

26.70 €

Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms.In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms.The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent.