Overview
- Honors Javier Esparza’s career as a scientist and teacher
- Includes research results in Petri nets, concurrency, distributed systems, formal languages, and logic
- Contributions by leading researchers and collaborators
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14660)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (16 chapters)
Keywords
About this book
Javier Esparza received his primary degree in Theoretical Physics and in 1990 his PhD in Computer Science from the University of Zaragoza. After positions at the University of Hildesheim, the University of Edinburgh, and the Technical University of Munich, he then held professorships at the University of Edinburgh and the University of Stuttgart, and finally returned to TU Munich where he currently holds the Chair of Foundations of Software Reliability and Theoretical Computer Science.
Javier is a leading researcher in concurrency theory, distributed and probabilistic systems, Petri nets, analysis of infinite-state models, and more generally formal methods for the verification of computer systems. He has coauthored over 200 publications, many of them highly influential. He coauthored the monographs Free Choice Petri Nets, and Unfoldings: A Partial Order Approach to Model Checking, and more recently the textbook Automata Theory: An Algorithmic Approach. The latter is an exampleof Javier’s many activities as a teacher, he has supervised more than 20 PhD students, taught at more than 20 summer schools, and won many awards for his university teaching. He is regularly invited to deliver plenary talks at prestigious computer science conferences and participate in senior program committees, he has contributed as a senior member of technical working groups, society councils, and journal editorial boards, and in 2021 he became a founding Editor-in-Chief of the open-access TheoretiCS journal.This Festschrift celebrates Javier’s contributions on the occasion of his 60th birthday, the contributions reflect the breadth and depth of his successes in Petri nets, concurrency in general, distributed and probabilistic systems, games, formal languages, logic, program analysis, verification, and synthesis.
Editors and Affiliations
Bibliographic Information
Book Title: Taming the Infinities of Concurrency
Book Subtitle: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Editors: Stefan Kiefer, Jan Křetínský, Antonín Kučera
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-56222-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024
Softcover ISBN: 978-3-031-56221-1Published: 20 March 2024
eBook ISBN: 978-3-031-56222-8Published: 19 March 2024
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 309
Number of Illustrations: 67 b/w illustrations, 25 illustrations in colour
Topics: Theory of Computation, Logics and Meanings of Programs