Enviar aquest missatge de text: Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig.