Benedikt Bollig

• Formal Models of Communicating Systems
• Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)