|
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
“...Communication and concurrency are essential in understanding complex dynamic systems...”