Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs