TY  - BOOK
AU  - Ying, Mingsheng
TI  - Topology in process calculus: approximate correctness and infinite evolution of  concurrent programs
SN  - 9780387950921
PY  - 2001///
CY  - China
PB  - Springer
KW  - Parallel processing(Electronic Computer)
ER  -