Topology in Process Calculus

Approximate Correctness and Infinite Evolution of Concurrent Programs
 HC runder Rücken kaschiert
Print on Demand | Lieferzeit: Lieferbar innerhalb von 3-5 Werktagen I

109,41 €*

Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9780387950921
Einband:
HC runder Rücken kaschiert
Erscheinungsdatum:
30.03.2001
Seiten:
232
Autor:
Mingsheng Ying
Gewicht:
518 g
Format:
241x160x17 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

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.

Google Plus
Powered by Inooga