TY  - BOOK
AU  - Ying, Mingsheng
TI  - Topology in process calculus : approximate correctness and infinite evolution of concurrent programs
SN  - 387950923
SN  - 59583
U1  - 004.35 YIN 
PY  - 2001///
CY  - Berlin
PB  - Springer
KW  - Algebraic topology
KW  - Parallel processing (Electronic computers)
N1  - Includes bibliographical references (p. [213]-218) and index
ER  -