- W.J. Fokkink,
*Distributed Algorithms: An Intuitive Approach*, MIT Press, January 2014

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

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

A review of the book on *Amazon*

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