Ying Mingsheng <br/><br/>
Topology in process calculus: approximate correctness and infinite evolution of concurrent programs by Mingsheng Ying 
Ying Mingsheng 
 - New York       Springer-Verlag          2001 
 - viii, 220p 
<br/><br/> Bibliographical references 213-218p; Index 219-220p; ^n23/CSL/B/2002-2003/204^d2002-07-15^mPurchase; ; 2002-03/143^b2002-08-13^c2125^d2002-08-05^eRs.9,606.00^fOverseas Press (India)Pvt. Ltd.; ; 2002-10-08^bSB^c2003-07-04^dRPS 
<br/><br/><label>ISBN: </label>0387950923 (hbd) 
<br/><br/><label>Standard No.: </label>9509 
<br/><br/><label>Source: </label> Overseas,  Textual 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Parallel processing<br/>Computer science
<br/><br/><label>Dewey Class. No.: </label>D65,8(B):51, P1