Journey from Process Algebra via Timed Automata to Model Learning

Discover the innovative insights in Journey from Process Algebra via Timed Automata to Model Learning by Nils Jansen, published by Springer International Publishing AG in 2022. This comprehensive 581-page paperback delves into the intricate world of formal methods, concurrency theory, verification, model checking, and automata learning, reflecting the expertise of Professor Frits, who has been a leading figure in Informatics for Technical Applications at Radboud University Nijmegen since 1995.

This first edition is a valuable resource for researchers and students alike, featuring contributions from esteemed colleagues and Ph.D. candidates. Explore the connections between process algebra, timed automata, and model learning, and enhance your understanding of these critical areas in computer science. Whether you are advancing your academic pursuits or seeking to deepen your knowledge, this book is an essential addition to your library.