|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Topology in Process Calculus
Approximate Correctness and Infinite Evolution of Concurrent Programs
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9781461301233
Veröffentl:
2012
Seiten:
220
Autor:
Mingsheng Ying
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Beschreibung:
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.
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
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
