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.
- ISBN13 9780387950921
- Publish Date 30 March 2001
- Publish Status Active
- Publish Country US
- Imprint Springer-Verlag New York Inc.
- Edition 2001 ed.
- Format Hardcover
- Pages 220
- Language English