Verwandte Artikel zu Topology in Process Calculus: Approximate Correctness...
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Topology in Process Calculus: Approximate Correctness...
Beispielbild für diese ISBN
Topology in Process Calculus (eng)
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers MKSVHV7TLM
Neu kaufen
EUR 46,22
EUR 5,50 Versand
Versand von Italien nach USA
Versand von Italien nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Topology in Process Calculus
Verlag:
Springer New York, Springer New York Okt 2012, 2012
ISBN 10: 1461265223
ISBN 13: 9781461265221
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. 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 approximate 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 9781461265221
Neu kaufen
EUR 53,49
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 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 English. Bestandsnummer des Verkäufers ria9781461265221_new
Neu kaufen
EUR 67,49
EUR 10,97 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Topology in Process Calculus
Anbieter: Books Puddle, Woodside, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 232. Bestandsnummer des Verkäufers 2658585699
Neu kaufen
EUR 83,00
EUR 3,52 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Topology in Process Calculus
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 232 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 51006908
Neu kaufen
EUR 83,48
EUR 7,61 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. reprint edition. 240 pages. 9.25x6.10x0.53 inches. In Stock. Bestandsnummer des Verkäufers x-1461265223
Neu kaufen
EUR 79,43
EUR 11,71 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Topology in Process Calculus
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 232. Bestandsnummer des Verkäufers 1858585705
Neu kaufen
EUR 83,59
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 approximate 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. Bestandsnummer des Verkäufers 9781461265221
Neu kaufen
EUR 61,09
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Topology in Process Calculus
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 . Bestandsnummer des Verkäufers 4189171
Neu kaufen
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Topology in Process Calculus
Verlag:
Springer, Springer Okt 2012, 2012
ISBN 10: 1461265223
ISBN 13: 9781461265221
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 232 pp. Englisch. Bestandsnummer des Verkäufers 9781461265221
Neu kaufen
EUR 53,49
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar