Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Topology in Process Calculus

Name: Topology in Process Calculus
Brand: Springer-Verlag New York Inc.
SKU: 01384254
Price: 51.27 EUR
Availability: InStock
Author: Mingsheng Ying
ISBN: 9780387950921

Approximate Correctness and Infinite Evolution of Concurrent Programs

Mingsheng Ying

Language

English

Book Hardback

Libristo code: 01384254

Publishers Springer-Verlag New York Inc., March 2001

Communication and concurrency are essential in understanding complex dynamic systems, and there have... Full description

Libristo code: 01384254

125 b

51.27 €

100.28 лв

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

El espíritu empresarial, catalizador de prosperidad financiera y empleo

Paperback

74.84 € 146.37 лв

Key - Aktuelle Ausgabe - A1 Dietlind Unger

Paperback

18.70 € 36.57 лв

Die Entscheidung über Krieg und Frieden nach deutschem Verfassungsrecht. Bernd Rieder

Paperback

108.51 € 212.24 лв

Was ist Pflege? Eine Arbeit uber die Bedeutung, die Rezipienten, die Aufgaben und die Ziele der Pflege Albert Etschmaier

Paperback

45.01 € 88.02 лв

México CECCHI

Book

6.37 € 12.45 лв

Die kleine Raupe Nimmersatt - Mein Häkelset Eric Carle

Toy

15.72 € 30.74 лв

Albert i potwor Gunilla Bergstrom

Hardback

5.24 € 10.24 лв

Límites a la Ley penal en el espacio Beatriz García Sánchez

Paperback

20.44 € 39.99 лв

Mehr des gleichen Some Author

Paperback

12.99 € 25.41 лв

Geniusz zbrodni Carter Chris

Stationery items

9.14 € 17.88 лв

L'Economie Rurale. Tome 1 (Ed.1844-1845) Lucius Columelle

Paperback

29.54 € 57.77 лв

Definiciones sobre lo que es sistematizacion de conceptos informaticos Abraham Aguilar García

Paperback

9.60 € 18.78 лв

Au Sujet Du Regime Du Travail Etabli Dans La Colonie de l'Ile de la Reunion SICRE DE FONTBRUNE-A

Paperback

13.92 € 27.22 лв

TIRANT LO BLANC MARTORELL

Paperback

10.12 € 19.79 лв

Orwell en España George Orwell

Paperback

13.82 € 27.02 лв

Apollodori Bibliotheca (1854) Apollodorus

Hardback

38.07 € 74.46 лв

Lucky Luke - Am Klondike Yann L?turgie

Hardback

13.46 € 26.32 лв

Iconographie Et Arts Du Spectacle Jerome De La Gorce

Paperback

57.85 € 113.15 лв

Dictionnaire du cinéma - tome 3 - Les Films - NE Jacques Lourcelles

Paperback

41.10 € 80.39 лв

Un Diplomate dans la tourmente Rahn

Paperback

40.48 € 79.18 лв

Joseph Staline à la Une Olivier Luciani

Paperback

30.82 € 60.29 лв

Impressions asiatiques - Les pérégrinations en Chine et en Extrême-Orient d’un Français curieux de HUMBERT

Paperback

20.19 € 39.48 лв

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.