Topology in Process Calculus
Approximate Correctness and Infinite Evolution of Concurrent Programs
Paperback
Print on Demand | Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktagen I
78,73 €*
Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9781461265221
Veröffentl:
2012
Einband:
Paperback
Erscheinungsdatum:
28.10.2012
Seiten:
232
Autor:
Mingsheng Ying
Gewicht:
359 g
Format:
235x155x13 mm
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.
A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Professionals, researchers and graduate students in theoretical computer science will find the discussion helpful for developing new concepts for concurrent and real-time 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:
