Topology in Process Calculus
| Author | : Mingsheng Ying |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 226 |
| Release | : 2012-12-06 |
| ISBN-10 | : 9781461301233 |
| ISBN-13 | : 1461301238 |
| Rating | : 4/5 (238 Downloads) |
Book Synopsis Topology in Process Calculus by : Mingsheng Ying
Download or read book Topology in Process Calculus written by Mingsheng Ying and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 226 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
