TY  - BOOK
AU  - Ying Mingsheng
TI  - Topology in process calculus: approximate correctness and infinite evolution of concurrent programs by Mingsheng Ying
SN  - 0387950923 (hbd)
U1  - D65,8(B):51, P1 
PY  - 2001///
CY  - New York    
PB  -  Springer-Verlag        
KW  -  Parallel processing
KW  - Computer science
N1  - 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
ER  -