This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent …
