| 000 | 00715nam a2200217Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2001##################000#0#eng## | ||
| 020 | _a387950923 | ||
| 022 | _a59583 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a004.35 YIN | ||
| 100 | _aYing, Mingsheng | ||
| 245 |
_aTopology in process calculus : approximate correctness and infinite evolution of concurrent programs _cMingsheng Ying |
||
| 260 |
_aBerlin _bSpringer _cc2001 |
||
| 300 | _aviii, 220 p. ; 24 cm | ||
| 500 | _aIncludes bibliographical references (p. [213]-218) and index | ||
| 650 | _aAlgebraic topology | ||
| 650 | _aParallel processing (Electronic computers) | ||
| 990 | _a9cd3bf33ac10000c1da7ad3cce5bbcca | ||
| 991 | _a58890 | ||
| 999 |
_c80651 _d80651 |
||