TY  - BOOK
AU  - Bollig,Benedikt
TI  - Formal models of communicating systems: languages, automata, and Monadic Second-Order Logic 
SN  - 3540329226
PY  - 2006///
CY  - Berlin
PB  - Springer
KW  - Electronic data processing
KW  - Distributed processing
KW  - Multitasking (Computer science)
ER  -