Topology in process calculus: approximate correctness and infinite evolution of concurrent programs by Mingsheng Ying
Ying Mingsheng
Topology in process calculus: approximate correctness and infinite evolution of concurrent programs by Mingsheng Ying - New York Springer-Verlag 2001 - viii, 220p
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
0387950923 (hbd)
9509
Overseas, Textual
Parallel processing
Computer science
D65,8(B):51, P1
Topology in process calculus: approximate correctness and infinite evolution of concurrent programs by Mingsheng Ying - New York Springer-Verlag 2001 - viii, 220p
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
0387950923 (hbd)
9509
Overseas, Textual
Parallel processing
Computer science
D65,8(B):51, P1