Reisig - Elements of Distributed Algorithms Modeling and Analysis wi - X555z

Elements of Distributed Algorithms The Petri Net Approach by Wolfgang Reisig

Design and Analysis of Distributed Algorithms / Nicola Santoro

Kowalewski - Tools and Algorithms for the Construction and Analysis of - X555z

Groote - Tools and Algorithms for the Construction and Analysis of Sys - X555z

Baier - Tools and Algorithms for the Construction and Analysis of Syst - X555z

Biere - Tools and Algorithms for the Construction and Analysis of Syst - X555z

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