- W.J. Fokkink,
*Distributed Algorithms: An Intuitive Approach*, MIT Press, December 2013

- W.J. Fokkink,
*Modelling Distributed Systems: Protocol Verification with µCRL*(2nd edition), March 2017

Slides based on this bookLabs based on this book

- W.J. Fokkink,
*Modelling Distributed Systems*, Texts in Theoretical Computer Science, An EATCS Series. Springer, September 2007

A review of the book in*ACM Computing Reviews*

- W.J. Fokkink,
*Introduction to Process Algebra*(2nd edition), April 2007

Slides based on this book - W.J. Fokkink,
*Introduction to Process Algebra*, Texts in Theoretical Computer Science, An EATCS Series. Springer, January 2000

Slides of a tutorial on process algebra at CAI'2009

Reviews of the book on *Amazon*

A lecture by Dr. Michael Köhler-Bußmeier based on this book