Ying, Mingsheng <br/><br/>
Topology in process calculus: approximate correctness and infinite evolution of  concurrent programs 

 - 1st 
 - China  Springer  2001 
 - viii,220p p. 
<br/><br/><label>ISBN: </label>9780387950921 
<br/><br/><label>Subjects--Index Terms: </label>Parallel processing(Electronic Computer)