Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems

“The thesis is a very nice introduction to the area of time granularities and indeed also automata on infinite strings or trees. All major notions are discussed, formally introduced, exemplified, and compared to similar notions. The language is generally appropriate and understandable and the mathematics in the contribution should be understandable by any graduate student. Since the essential definitions and proofs are provided, the book can easily be read without additional literature.” (Andreas Maletti, Mathematical Reviews, February, 2016)