J
Jan Friso Groote
6 works on record
Works

Modeling and Analysis of Communicating Systems

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