Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs - Couverture rigide
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Topology in Process Calculus: Approximate Correctness...
Image d'archives
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Feb2215580174355
Acheter neuf
EUR 53,11
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1814560-n
Acheter neuf
EUR 54,30
Frais de port :
EUR 2,29
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780387950921_new
Acheter neuf
EUR 57,57
Frais de port :
EUR 13,63
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1814560-n
Acheter neuf
EUR 57,56
Frais de port :
EUR 17,07
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Topology in Process Calculus
impression à la demandeVendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : 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. N° de réf. du vendeur 9780387950921
Acheter neuf
EUR 53,49
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Edité par
Springer-Verlag New York Inc., 2001
ISBN 10 : 0387950923
ISBN 13 : 9780387950921
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 534. N° de réf. du vendeur C9780387950921
Acheter neuf
EUR 66,68
Frais de port :
EUR 18,31
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Topology in Process Calculus
Edité par
Springer New York, 2001
ISBN 10 : 0387950923
ISBN 13 : 9780387950921
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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 . N° de réf. du vendeur 5912325
Acheter neuf
EUR 48,37
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
Edité par
Springer, 2001
ISBN 10 : 0387950923
ISBN 13 : 9780387950921
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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! N° de réf. du vendeur S_332754105
Acheter D'occasion
EUR 102,58
Frais de port :
EUR 3,25
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Topology in Process Calculus
Edité par
Springer New York, Springer US Mär 2001, 2001
ISBN 10 : 0387950923
ISBN 13 : 9780387950921
Neuf
Buch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch. N° de réf. du vendeur 9780387950921
Acheter neuf
EUR 53,49
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Topology in Process Calculus | Approximate Correctness and Infinite Evolution of Concurrent Programs
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Topology in Process Calculus | Approximate Correctness and Infinite Evolution of Concurrent Programs | Mingsheng Ying | Buch | viii | Englisch | 2001 | Springer US | EAN 9780387950921 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 105606349
Acheter neuf
EUR 50,35
Frais de port :
EUR 70
De Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)