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

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

by Mingsheng Ying (Author), Mingsheng Ying (Author), M. Ying (Author)

$129.87

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 232
Edition: 2001
Publisher: Springer
Published: 01 Apr 2001

ISBN 10: 0387950923
ISBN 13: 9780387950921