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

Decidability of Parameterized Verification

Decidability of Parameterized Verification

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

While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems (n) parameterized by n , whether, for all n , the system (n) satisfies a specification. In this book we consider the important case of (n) being a concurrent system, where the number of replicated processes depends on the parameter n but each process is independent of n. Examples are cache coherence protocols, networks of finite-state agents, and systems that solve mutual exclusion or scheduling problems. Further examples are abstractions of systems, where the processes of the original systems actually depend on the parameter. The literature in this area has studied a wealth of computational models based on a variety of synchronization and communication primitives, including token passing, broadcast, and guarded transitions. Often, different terminology is used in the literature, and results are based on implicit assumptions. In this book, we introduce a computational model that unites the central synchronization and communication primitives of many models, and unveils hidden assumptions from the literature. We survey existing decidability and undecidability results, and give a systematic view of the basic problems in this exciting research area.

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

The Myth of Sisyphus by Albert Camus

$16.00

Educating the Sustainability Leaders of the Future

$219.99

The Fluid Environment of the Earth

$129.00

Casualties of Causality

$49.99

Gewerbesteuer

$49.95

Inquiry Graphics in Higher Education

$54.99

Embolization

$109.99

Society And Government In France Under Richelieu And Mazarin 1624-61

$34.99

Pediatric Ophthalmology, Neuro-Ophthalmology, Genetics

$89.00

Urban Forests and Trees

$379.99

Risk Performance Management

$69.99

Erfolg ist eine Reise

$59.99

Advances in Cardiovascular Engineering

$99.00

Down Milling Trimming Process Optimization for Carbon Fiber-Reinforced Plastic

$54.99

Sea Narratives: Cultural Responses to the Sea, 1600Present

$109.99

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

$54.99

Cyber Weaponry

$99.99

Fishing

$3.71

Mathematische Grundlagen der Ingenieurinformatik

$89.00

Gender Resilience, Integration and Transformation

$169.99

Science Super Giants: Can You Fly High, Wright Brothers?

$3.74

Erfolgreich im stationren Einzelhandel

$59.99

Studies in Evolution Equations and Related Topics

$139.99

Konkurs-, Zwangsversteigerungs- und Vergleichsrecht

$59.99

Optimierung

$99.99

Differentialgleichungen als zentraler Bestandteil der theoretischen Physik

$39.99

Structures and Structure Determination

$169.00

Nacktheit und Prderie

$39.99

Formal Description Techniques and Protocol Specification, Testing and Verification

$169.00

Education, Globalization and the Nation State

$54.99

Eltern als Co-Therapeuten

$49.99

An Agenda for Sustainable Development Research

$179.99

Slapstick and Comic Performance

$39.99

Konzentrationsmessungen von Pharmaka, Bedeutung fr Klinik und Praxis

$59.99

Modern Issues in Non-Saturated Soils

$99.00

Air-Design als Erfolgsfaktor im Handel

$44.99

Dietary Supplement Regulation in the United States

$39.99

Frontiers of Equality in the Development of EU and US Citizenship

$119.00

Comparative Invertebrate Neurochemistry

$39.99

Tsunami Science Four Years After the 2004 Indian Ocean Tsunami

$39.99