Titre :	Elements of Distributed Algorithms : modeling and analysis with Petri Nets
Type de document :	texte imprime
Auteurs :	Wolfgang Reisig, Auteur
Editeur :	New York : Springer
Année de publication :	cop. 1998
Importance :	302 p.
Présentation :	ill.
Format :	24 cm
ISBN/ISSN/EAN :	978-3-540-62752-4
Note générale :	En complément de titre : with 246 figures. - Autre tirage : 2010 Bibliogr. p. [299]-302
Langues :	Anglais
Mots-clés :	Electronic data processing:distributed processing  Traitement réparti:actes de congrès  Computer algorithms  Petri nets  Petri, Réseaux de  Algorithmes
Index. décimale :	004.36
Résumé :	Elements of Distributed Algorithms 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.
En ligne :	https://www.amazon.fr/Elements-Distributed-Algorithms-Modeling-published/dp/B01J [...]
Permalink :	./index.php?lvl=notice_display&id=11797

Elements of Distributed Algorithms : modeling and analysis with Petri Nets [texte imprime] / Wolfgang Reisig, Auteur . - New York : Springer, cop. 1998 . - 302 p. : ill. ; 24 cm.
ISBN : 978-3-540-62752-4
En complément de titre : with 246 figures. - Autre tirage : 2010

Bibliogr. p. [299]-302
Langues : Anglais

Mots-clés :	Electronic data processing:distributed processing  Traitement réparti:actes de congrès  Computer algorithms  Petri nets  Petri, Réseaux de  Algorithmes
Index. décimale :	004.36
Résumé :	Elements of Distributed Algorithms 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.
En ligne :	https://www.amazon.fr/Elements-Distributed-Algorithms-Modeling-published/dp/B01J [...]
Permalink :	./index.php?lvl=notice_display&id=11797