Loading...
Topology in Process Calculus : Approximate correctness and infinite evolution of concurrent programs/
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Language: | English |
| Published: |
Springer,
2001.
|
| LEADER | 00452nam a2200109Ia 4500 | ||
|---|---|---|---|
| 008 | 120707s9999 xx 000 0 eng d | ||
| 100 | |a Ying, Min Sheng | ||
| 245 | 0 | |a Topology in Process Calculus : Approximate correctness and infinite evolution of concurrent programs/ | |
| 260 | |b Springer, |c 2001. | ||
| 942 | |c BK | ||
| 999 | |c 133388 |d 133388 | ||
| 952 | |0 0 |1 0 |4 0 |6 55_000000000000000_YIN |7 0 |9 147657 |a MAT |b MAT |c ST1 |d 2012-07-10 |i 4244 |l 0 |o 55 YIN |p MAT4244 |r 2013-08-01 |w 2013-08-01 |y BK | ||