Topology in Process Calculus

Name: Topology in Process Calculus
Brand: Springer-Verlag New York Inc.
SKU: 9780387950921
Price: 50.22 EUR
Availability: InStock

Approximate Correctness and Infinite Evolution of Concurrent Programs

Autor: Mingsheng Ying

Jazyk:

Väzba: Pevná

Vydavateľ: Springer-Verlag New York Inc.

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-13 dní

50.22 €

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

Informácie o knihe

Autor

Mingsheng Ying

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2001

Stránok

220

EAN

9780387950921

ISBN

0387950923

Enbook ID

01384254

Vydavateľ

Springer-Verlag New York Inc.

Hmotnosť

1110

Rozmery

155 x 235 x 17

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Topology in Process Calculus

Approximate Correctness and Infinite Evolution of Concurrent Programs

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež