Verwandte Artikel zu Topology in Process Calculus: Approximate Correctness...
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs - Hardcover
Inhaltsangabe
Book by Ying Mingsheng
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2001
- ISBN 10 0387950923
- ISBN 13 9780387950921
- EinbandTapa dura
- SpracheEnglisch
- Anzahl der Seiten232
Neu kaufen
Diesen Artikel anzeigen
EUR 41,74
Versand:
Gratis
Innerhalb der USA
Suchergebnisse für Topology in Process Calculus: Approximate Correctness...
Beispielbild für diese ISBN
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.98. Bestandsnummer des Verkäufers G0387950923I4N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.98. Bestandsnummer des Verkäufers G0387950923I4N00
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!. Bestandsnummer des Verkäufers S_332754105
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
TOPOLOGY IN PROCESS CALCULUS: APPROXIMATE CORRECTNESS AND INFINITE EVOLUTION OF CONCURRENT PROGRAMS
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABTA-89944
Anzahl: 2 verfügbar
Foto des Verkäufers
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 1814560
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2215580174355
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 1814560-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780387950921_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Topology in Process Calculus
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation are described as two agents, correctness of programs is treated as a certain behavior equivalence between specification and implementation, and then the proof of correctness of programs is a task to establish some behavior equivalence between them. The goal of this book is to provide some suitable and useful concepts and tools for the understanding and analysis of ap proximate correctness of programs in concurrent systems. Throughout this book the focus is on the framework of process calculus, and the main idea is to construct some natural and reasonable topological structures which can reveal suitably a mechanism of approximate computation in process calculus and to work out various relationships among processes which are compatible with these topological structures. 232 pp. Englisch. Bestandsnummer des Verkäufers 9780387950921
Anzahl: 2 verfügbar
Foto des Verkäufers
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 1814560
Anzahl: Mehr als 20 verfügbar