Ying Mingsheng:
Topology In Process Calculus
Approximate Correctness And Infinite Evolution Of Concurrent Programs
Springer-Verlag New York Inc. (United States), 2001
Hardback, 228 pages
Size: 234x156 mm
ISBN: 9780387950921
ISBN-10: 0387950923
Topology In Process Calculus
Presents concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. This book is useful to professionals, researchers and graduate students in theoretical computer science.

