[PDF.96oc] Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs

[PDF.bm81] Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs

Topology in Process Calculus:  Mingsheng Ying epub
Topology in Process Calculus:  Mingsheng Ying pdf download
Topology in Process Calculus:  Mingsheng Ying pdf file
Topology in Process Calculus:  Mingsheng Ying audiobook
Topology in Process Calculus:  Mingsheng Ying book review
Topology in Process Calculus:  Mingsheng Ying summary

 |  Springer |  2012-10-28 |  2001-03-30 | Original language:English | PDF # 1 |  9.25 x.53 x6.10l,.73 | File type: PDF | 220 pages

 | 

---

|

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.

You can specify the type of files you want, for your gadget.Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs   |  Mingsheng Ying. Just read it with an open mind because none of us really know.

Read Online Now