Tell your friends about this item:
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets Wolfgang Reisig
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
Wolfgang Reisig
Distributed algorithms, essential to networks of all kinds, are presented using the highly intuitive and technically elegant Petri net technique in this text for students and practitioners. A variety of distributed algorithms are presented, and proven correct using temporal logic.
314 pages, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | August 20, 1998 |
| Original release date | 1997 |
| ISBN13 | 9783540627524 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 314 |
| Dimensions | 156 × 234 × 19 mm · 544 g |
| Language | French |