Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Topology in Process Calculus

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

Approximate Correctness and Infinite Evolution of Concurrent Programs

Mingsheng Ying

Lingua

Inglese

Libro Rigido

Codice Libristo: 01384254

Casa editrice Springer-Verlag New York Inc., marzo 2001

Communication and concurrency are essential in understanding complex dynamic systems, and there have... Descrizione completa

Codice Libristo: 01384254

132 b

53.79 €

Magazzino esterno Inviamo tra 10-13 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Un Diplomate dans la tourmente Rahn

In brossura

41.59 €

México CECCHI

Libro

6.19 €

TIRANT LO BLANC MARTORELL

In brossura

9.89 €

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

In brossura

21.29 €

Joseph Staline à la Une Olivier Luciani

In brossura

31.89 €

Iconographie Et Arts Du Spectacle Jerome De La Gorce

In brossura

58.79 €

Key - Aktuelle Ausgabe - A1 Dietlind Unger

In brossura

19.49 €

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

In brossura

107.99 €

Apollodori Bibliotheca (1854) Apollodorus

Rigido

38.69 €

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

In brossura

44.79 €

Lucky Luke - Am Klondike Yann L?turgie

Rigido

13.39 €

Orwell en España George Orwell

In brossura

13.39 €

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

In brossura

14.19 €

Právo národov John Rawls

Libro

9.99 €

Mehr des gleichen Some Author

In brossura

13.19 €

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.