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

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs By Mingsheng Ying Cover Image

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

$54.99


Not On Our Shelves—Ships in 1-5 Days
A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Professionals, researchers and graduate students in theoretical computer science will find the discussion helpful for developing new concepts for concurrent and real-time systems.
Product Details ISBN: 9781461265221
ISBN-10: 1461265223
Publisher: Springer
Publication Date: October 28th, 2012
Pages: 220
Language: English