Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Topology in Process Calculus

Topology in Process Calculus

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781461301233
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Calcium-Binding Proteins of the EF-Hand Superfamily

$169.00

Crustal Structure of the Bohemian Massif and the West Carpathians

$109.99

Personalinformationssysteme in der Personalentwicklung und im Talent-Management

$69.99

Jenseits von Sein und Zeit

$129.99

Notes on Lie Algebras

$54.99

Discrete Images, Objects, and Functions in Zn

$84.99

International Education Hubs

$109.99

Episodes in the Mathematics of Medieval Islam

$54.99

Recent Advances in Information Systems and Technologies

$329.99

Collaboration Potential in Virtual Reality (VR) Office Space

$59.99

Technik und Wirtschaft

$29.99

Lyotropic Chromonic Liquid Crystals

$109.99

Artificial Intelligence in Education

$89.99

Proselytizing and the Limits of Religious Pluralism in Contemporary Asia

$84.99

Web Accessibility

$229.00

Immunofluorescence in Clinical Immunology

$109.99

Enhancing Synergies in a Collaborative Environment

$109.99

Automobilelektronik

$34.99

North American Social Report

$109.99

Genese, Konsolidierung und Transformation der neoklassischen Wissenschaftskultur

$64.99

Geometry of Linear Matrix Inequalities

$59.99

GeoComputational Modelling

$109.99

Psychosomatik nicht-epileptischer Anflle

$59.99

Thinking Beyond Neoliberalism

$109.00

Mobility Management in Wireless Networks

$84.99

Automated Technology for Verification and Analysis

$39.99

Psychosomatic Disorders

$99.00

The Palgrave Handbook of Globalization with Chinese Characteristics

$249.99

Trends in Sustainable Smart Cities and Territories

$199.99

Profiling zwischen sozialer Praxis und technischer Prgung

$49.99

Gesundheit und Selbstbestimmung

$129.99

Inside Risk: A Strategy for Sustainable Risk Mitigation

$54.99

Pro/MECHANICA verstehen lernen

$79.99

A Relational Theory of Computing

$39.99

Mathematische Geschichten VI Kombinatorik, Polynome und Beweise

$17.99

Arbeitsrecht fr Fhrungskrfte

$17.99

Computer and Information Science

$84.99

The Rise of Extreme Porn

$119.00

Die klassischen Sttten von Jena und Jlmenau

$59.99

Messtechnik

$29.99