|
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Subjects:
“...Software Engineering/Programming and Operating Systems...”