Elements of distributed algorithms: modeling and analysis with petri nets
Auteur :
Reisig, Wolfgang
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783540627524
Date de publication :
30 juil. 1997
Dimensions :
23,4 x 15,6 x 1,9 cm
Poids :
631 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
Allemagne
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.