Articoli correlati a 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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti:
I. Elementary Concepts.- II. Case Studies.- III. Advanced Concepts.- IV. Case Studies.- V. Case Studies Continued: Acknowledged Messages.- VI. Case Studies Continued: Network Algorithms.- VII. State Properties of Elementary System Nets.- VIII. Interleaved Progress of Elementary System Nets.- IX. Concurrent Progress of Elementary System Nets.- X. State Properties of System Nets.- XI. Interleaved Progress of System Nets.- XII. Concurrent Progress of System Nets.- XIII. Formal Analysis of Case Studies.- References.
Product Description:
Book by Reisig Wolfgang
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer-Verlag New York Inc
- Data di pubblicazione1998
- ISBN 10 3540627529
- ISBN 13 9783540627524
- RilegaturaCopertina rigida
- Numero di pagine302
Compra nuovo
Scopri di più su questo articolo
EUR 21,29
Spese di spedizione:
EUR 3,67
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Elements of Distributed Algorithms
Da:
Valutazione libreria
Descrizione libro Condizione: New. pp. 324. Codice articolo 26348404
Compra nuovo
EUR 21,29
Convertire valuta
Foto dell'editore
Elements of Distributed Algorithms
Da:
Valutazione libreria
Descrizione libro Condizione: New. pp. 324 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Codice articolo 7532331
Compra nuovo
EUR 19,71
Convertire valuta
Foto dell'editore
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
Da:
Valutazione libreria
Descrizione libro Hardcover. Condizione: new. New. Fast Shipping and good customer service. Codice articolo Holz_New_3540627529
Compra nuovo
EUR 32,61
Convertire valuta
Foto dell'editore
Elements of Distributed Algorithms - The Petri Net Approach
Da:
Valutazione libreria
Descrizione libro Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT23-191433
Compra nuovo
EUR 41,87
Convertire valuta
Foto dell'editore
Elements of Distributed Algorithms - The Petri Net Approach
Da:
Valutazione libreria
Descrizione libro Condizione: 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. Codice articolo ABTR-219190
Compra nuovo
EUR 41,87
Convertire valuta
Foto dell'editore
Elements of Distributed Algorithms - The Petri Net Approach
Da:
Valutazione libreria
Descrizione libro Condizione: 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. Codice articolo ABRR-219190
Compra nuovo
EUR 43,58
Convertire valuta
Immagini fornite dal venditore
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets by Reisig, Wolfgang [Hardcover ]
Da:
Valutazione libreria
Descrizione libro Hardcover. Condizione: new. Codice articolo 9783540627524
Compra nuovo
EUR 44,07
Convertire valuta
Foto dell'editore
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo ABLIING23Mar3113020172729
Compra nuovo
EUR 46,33
Convertire valuta
Immagini fornite dal venditore
Elements of Distributed Algorithms : Modeling and Analysis With Petri Nets
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo 597772-n
Compra nuovo
EUR 47,60
Convertire valuta
Foto dell'editore
Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets
Print on Demand
Da:
Valutazione libreria
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783540627524_lsuk
Compra nuovo
EUR 46,85
Convertire valuta