Skip to main content alibris logo

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

by

Write The First Customer Review
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs - Ying, Mingsheng
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

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.

loading
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs 2012, Springer, New York, NY

ISBN-13: 9781461265221

Trade paperback

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs 2001, Springer, New York, NY

ISBN-13: 9780387950921

2001 edition

Hardcover