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
9780387950921
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

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Virtual Reality, Trainings Future?

$169.99

Translating Guilt

$179.99

Zerspantechnik

$49.99

Paint by Sticker: Plants and Flowers

$10.20

Spectra for the Identification of Monomers in Food Packaging

$99.99

The Social Nature of Emotion Expression

$109.99

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More

$39.99

In Memory Data Management and Analysis

$44.99

Task-Space Sensory Feedback Control of Robot Manipulators

$109.99

Atlas of Laser Scanning Ophthalmoscopy

$39.99

Sinn im Dialog

$49.99

Intelligent Systems'2014

$219.99

Cross-Cultural Computing: An Artist's Journey

$54.99

Die Religion in der skular verstandenen Welt

$84.99

Key Clinical Trials in Erectile Dysfunction

$39.99

Strategic Issues in Air Transport

$84.99

Personality Assessment with ID37

$49.99

Forensic Psychology in Germany

$159.99

Diagnostics of Mechatronic Systems

$139.99

Wrterbuch Maschinenbau und Tribologie / Dictionary Machine Engineering and Tribology

$59.99

Owls

$3.71

Beyond Kyoto - A New Global Climate Certificate System

$129.00

11 Irrtmer ber Social Media

$39.99

Nato Fair Trial Safeguards: Precursor to an International Bill of Procedural Rights

$54.99

Sharing Economy in der Logistik

$69.99

Mitochondria and Cancer

$159.99

Optimal Processes on Manifolds

$29.99

Human Interface and the Management of Information. Interacting in Information Environments

$129.00

Die Inszenierung des Politischen

$59.99

Institutionalisierung politischen Handelns

$59.99

Computer Performance Evaluation: Modelling Techniques and Tools

$39.99

Performance in Professional Service Firms

$39.99

Der Magen-Darm-Kranke

$69.99

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2011

$54.99

Repressiv getrennt oder organisch verbndet

$59.99

Die Strmung einer Quellstrecke im Halbraum eine strenge Lsung der Navier-Stokes-Gleichungen

$59.99

Betriebskosten und Organisation im Baumaschinenwesen

$59.99

Search for Sterile Neutrinos with the MINOS Long-Baseline Experiment

$109.99

Basic Technics in Ecological Farming / Techniques de Base en Agriculture Biologique / Grundstzliche

$54.99

Umweltgeschichte

$29.99