Home › Authors › Benedikt Bollig 👤 Benedikt Bollig 2 books Books by Benedikt Bollig Formal Models of Communicating Systems 2006 Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series) 2006