Items related to Elements of Distributed Algorithms: Modeling and Analysis...
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.
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.
"synopsis" may belong to another edition of this title.
Product Description:
Elements of Distributed Algorithms
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date1998
- ISBN 10 3540627529
- ISBN 13 9783540627524
- BindingHardcover
- Number of pages314
Buy New
Learn more about this copy
£ 18.19
Shipping:
£ 3.13
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Elements of Distributed Algorithms
Seller:
Rating
Book Description Condition: New. pp. 324. Seller Inventory # 26348404
Buy New
£ 18.19
Convert currency
Stock Image
Elements of Distributed Algorithms
Seller:
Rating
Book Description Condition: New. pp. 324 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 7532331
Buy New
£ 16.56
Convert currency
Stock Image
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
Seller:
Rating
Book Description Hardcover. Condition: new. Brand New Copy. Seller Inventory # BBB_new3540627529
Buy New
£ 29.75
Convert currency
Stock Image
Elements of Distributed Algorithms - The Petri Net Approach
Seller:
Rating
Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT23-191433
Buy New
£ 35.93
Convert currency
Stock Image
Elements of Distributed Algorithms - The Petri Net Approach
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Seller Inventory # ABTR-219190
Buy New
£ 35.93
Convert currency
Stock Image
Elements of Distributed Algorithms - The Petri Net Approach
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Seller Inventory # ABRR-219190
Buy New
£ 37.40
Convert currency
Seller Image
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets by Reisig, Wolfgang [Hardcover ]
Seller:
Rating
Book Description Hardcover. Condition: new. Seller Inventory # 9783540627524
Buy New
£ 37.67
Convert currency
Stock Image
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
Seller:
Rating
Book Description Hardcover. Condition: new. New Copy. Customer Service Guaranteed. Seller Inventory # think3540627529
Buy New
£ 37.71
Convert currency
Seller Image
Elements of Distributed Algorithms : Modeling and Analysis With Petri Nets
Seller:
Rating
Book Description Condition: New. Seller Inventory # 597772-n
Buy New
£ 39.06
Convert currency
Stock Image
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
Published by
Springer
(1998)
ISBN 10: 3540627529
ISBN 13: 9783540627524
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020172729
Buy New
£ 39.60
Convert currency