Ying, M. (2001). Topology in process calculus: Approximate correctness and infinite evolution of concurrent programs. Springer.
Chicago-Zitierstil (17. Ausg.)Ying, Mingsheng. Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs. New York [u.a.]: Springer, 2001.
MLA-Zitierstil (9. Ausg.)Ying, Mingsheng. Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs. Springer, 2001.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.