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.
Read More
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.
Read Less
Add this copy of Topology in Process Calculus: Approximate Correctness to cart. $27.91, very good condition, Sold by ThriftBooks-Reno rated 5.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 2001 by Springer.
Add this copy of Topology in Process Calculus: Approximate Correctness to cart. $27.91, very good condition, Sold by ThriftBooks-Baltimore rated 5.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 2001 by Springer.
Add this copy of Topology in Process Calculus: Approximate Correctness to cart. $32.44, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2001 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Topology in Process Calculus: Approximate Correctness to cart. $48.74, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2001 by Springer.
