Overview
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.
- | Author: Wolfgang Reisig
- | Publisher: Springer
- | Publication Date: Aug 20, 1998
- | Number of Pages: 302 pages
- | Binding: Hardback or Cased Book
- | ISBN-10: 3540627529
- | ISBN-13: 9783540627524
