2006

Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

Authors:

ISBN: 978-3-540-32922-0 (Print) 978-3-540-32923-7 (Online)