Wan Fokkink

• Distributed Algorithms
• Introduction to Process Algebra
• Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
• Modelling Distributed Systems