Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Elements of Distributed Algorithms - Modeling and Analysis with Petri Nets (Paperback, Softcover reprint of the original 1st ed. 1998)
Loot Price: R1,671
Discovery Miles 16 710
|
|
Elements of Distributed Algorithms - Modeling and Analysis with Petri Nets (Paperback, Softcover reprint of the original 1st ed. 1998)
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.