Loading...
Topology in Process Calculus : Approximate correctness and infinite evolution of concurrent programs/
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Language: | English |
| Published: |
Springer,
2001.
|
| Description not available. |