Jan Friso Groote

Understanding Behaviour of Dis

Understanding Behaviour of Distributed Systems Using MCRL2

2024

Tales of Electrologica

Tales of Electrologica

2022

Logical Gates, Circuits, Processors, Compilers and Computers

2021

Modeling and Analysis of Communicating Systems

2014