Mingsheng Ying
Springer New York
0e druk, 2012
9781461265221
Topology in Process Calculus
Approximate Correctness and Infinite Evolution of Concurrent Programs
Specificaties
Paperback, 220 blz.
|
Engels
Springer New York |
0e druk, 2012
ISBN13: 9781461265221
Rubricering
Juridisch
:
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9781461265221
Taal:Engels
Bindwijze:paperback
Aantal pagina's:220
Uitgever:Springer New York
Druk:0
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
1.Introduction; 2.Process Calculus; 3.Bisimulation and Trace Limits of Agents; 4.Limit Behavior of Agents; 5.Near Bisimulations Defined by Closures; 6.Bisimulation Indexes Induced by Metrics; 7.Conclusion; References
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht