Skip navigation

Jan Friso Groote

Jan Friso Groote is Professor of Computer Science at the Eindhoven University of Technology, the Netherlands.

Titles by This Author

Complex communicating computer systems—computers connected by data networks and in constant communication with their environments—do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed.