Jan Friso Groote

• Logical Gates, Circuits, Processors, Compilers and Computers
• Modeling and Analysis of Communicating Systems
• Formal Methods for Industrial Critical Systems
• Tales of Electrologica
• Tools and Algorithms for the Construction and Analysis of Systems
• Understanding Behaviour of Distributed Systems Using MCRL2