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

by

Write The First Customer Review

The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.

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

ISBN-13: 9781461265221

Softcover Reprint of the Origi edition

Trade paperback

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

ISBN-13: 9780387950921

2001 edition

Hardcover

Select