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

download center

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

Mingsheng Ying - Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Enter the sum