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

Mingsheng Ying
一月 2001
引用 DOI URL
类型
书籍
出版物
Springer Science+Business Media
应明生
应明生
教授