Elements of Distributed Algorithms: Modeling and Analysis With Petri Nets - Couverture rigide

Reisig, Wolfgang

 
9783540627524: Elements of Distributed Algorithms: Modeling and Analysis With Petri Nets

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9783642083037: Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets

Edition présentée

ISBN 10 :  364208303X ISBN 13 :  9783642083037
Editeur : Springer, 2010
Couverture souple