TY  - BOOK
AU  - Bollig,Benedikt
TI  - Formal models of communicating systems: languages, automata, and monadic second-order logic 
SN  - 3540329226
PY  - 2006///
CY  - New York
PB  - Springer
KW  - Electronic data processing
KW  - Distributed processing
KW  - Multitasking (Computer science)
N1  - References : p. [165]-171
ER  -