Topology in process calculus: approximate correctness and infinite evolution of concurrent programs by Mingsheng Ying - Ying Mingsheng (New York Springer-Verlag, 2001)
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
Keywords: Parallel processing; Computer science