Home
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs / Edition 1
Barnes and Noble
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs / Edition 1
Current price: $54.99
Barnes and Noble
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs / Edition 1
Current price: $54.99
Size: OS
Loading Inventory...
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
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.