| 000 | 00501nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 220101s9999 xx 000 0 und d | ||
| 020 | _a9780387950921 | ||
| 040 | _cJayakar Knowledge Resource Centre | ||
| 100 | _aYing, Mingsheng | ||
| 245 | 0 | _aTopology in process calculus: approximate correctness and infinite evolution of concurrent programs | |
| 250 | _a1st | ||
| 260 |
_bSpringer _aChina _c2001 |
||
| 300 | _aviii,220p p. | ||
| 653 | _aParallel processing(Electronic Computer) | ||
| 942 | _c1 | ||
| 999 |
_c345898 _d345898 |
||