Ying, Mingsheng <br/><br/>
Topology in process calculus : approximate correctness and infinite evolution of concurrent programs 
Mingsheng Ying 
 - Berlin  Springer  c2001 
 - viii, 220 p. ; 24 cm 
<br/><br/> Includes bibliographical references (p. [213]-218) and index 
<br/><br/><label>ISBN: </label>387950923 
<br/><br/><label>ISSN: </label>59583 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algebraic topology<br/>Parallel processing (Electronic computers)
<br/><br/><label>Dewey Class. No.: </label>004.35 YIN