Bollig, Benedikt <br/><br/>
Formal models of communicating systems :  languages, automata, and monadic second-order logic / 
Benedikt Bollig 
 - New York :  Springer,  2006 
 - ix, 181 p. :  ill. ;  24 cm. 
<br/><br/>References : p. [165]-171 
<br/><br/><label>ISBN: </label>3540329226  RM240.26 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing--Distributed processing<br/>Multitasking (Computer science)