Topology in Process Calculus

Name: Topology in Process Calculus
Brand: Springer Nature
SKU: 9780387950921
Availability: InStock

Best Price (Coupon Required):
Buy Topology in Process Calculus for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99

BEST PRICE

Single Product Purchase

$36.00

@ Link.springer.com with extra coupon

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		$39.99	$39.99		10% OFF This deals requires coupon	$36.00		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

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

N/A

Available Sizes

N/A

Reviews

0 reviews

5 stars

4 stars

3 stars

2 stars

1 star

Questions & Answers

Similar Products

Nutrition for Healthy Skin

$89.00

Gender and Corruption

$179.99

Bio-information for Hygiene

$159.99

Non-Archimedean L-Functions

$74.99

Internationalising China's Financial Markets

$54.99

Wasser, Energie und Umwelt

$179.99

Performance Testing

$69.99

Traumatic Injuries of the Knee

$84.99

Der Freileitungsbau

$54.99

Global Brand Strategy

$39.99

Administered Politics

$169.99

Innovation and Marketing in the Pharmaceutical Industry

$149.00

Investitionsrechnung

$59.99

Die Anlage des Neuwerkes der Hirsch, Kupfer- U. Messingwerke A.-G

$54.99

Understanding Leadership Perspectives

$139.99

Artificial Intelligence and Security

$109.99

Global Climate Change Policy and Carbon Markets

$99.99

Aircraft Cryogenics

$119.99

Bildhaftes Rechtsdenken

$34.99

Civil Case Management in the Twenty-First Century: Court Structures Still Matter

$159.99

The Troika of Adult Learners, Lifelong Learning, and Mathematics

$19.99

ber die chemische Modifizierung von Polyacrylnitril und entsprechenden Modellsubstanzen sowie deren

$44.99

ECML PKDD 2018 Workshops

$54.99

Technological Governance and Escapism in Times of Accelerated Change

$34.99

Konservative Therapie der Frauenkrankheiten

$44.99

Lithium-Ion Batteries

$169.99

Probabilistic Techniques in Exposure Assessment

$169.99

The Life-Changing Magic of Not Giving a F*ck- How to Stop Spending Time You Don't Have with People You Don't Like Doing Things You Don't Want to Do by

$22.99