|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910973788803321 |
|
|
Autore |
Reisig Wolfgang <1950-> |
|
|
Titolo |
Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets / / by Wolfgang Reisig |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1998.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 302 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Software engineering |
Mathematical models |
Computer programming |
Algorithms |
Theory of Computation |
Software Engineering |
Mathematical Modeling and Industrial Mathematics |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"With 246 Figures"--Title page. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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 |
|
|
|
|