Ying, M. S. (2001). Topology in Process Calculus: Approximate correctness and infinite evolution of concurrent programs. Springer.
Chicago Edition CitationYing, Min Sheng. Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs. Springer, 2001.
MLA Edition CitationYing, Min Sheng. Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs. Springer, 2001.
Warning: These citations may not always be 100% accurate.