Topology in Process Calculus is popular PDF and ePub book, written by Mingsheng Ying in 2012-12-06, it is a fantastic choice for those who relish reading online the Computers genre. Let's immerse ourselves in this engaging Computers book by exploring the summary and details provided below. Remember, Topology in Process Calculus can be Read Online from any device for your convenience.
Topology in Process Calculus Book PDF Summary
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.
Detail Book of Topology in Process Calculus PDF
- Author : Mingsheng Ying
- Release : 06 December 2012
- Publisher : Springer Science & Business Media
- ISBN : 9781461301233
- Genre : Computers
- Total Page : 220 pages
- Language : English
- PDF File Size : 15,9 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Topology in Process Calculus by Mingsheng Ying, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.