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

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

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

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on process algebra, like CWB [70] and CADP [93], some of which have been used in industrial case studies. Furthermore, process calculi and behavioral equivalencesare by now adopted in university-levelcourses to teach the foundations of concurrent programming as well as the model-driven design of concurrent, distributed, and mobile systems. Nevertheless, after 30 years since its introduction, process algebra is rarely adopted in the practice of software development. On the one hand, its technica- ties often obfuscate the way in which systems are modeled. As an example, if a process term comprises numerous occurrences of the parallel composition operator, it is hard to understand the communicationscheme among the varioussubterms. On the other hand, process algebra is perceived as being dif?cult to learn and use by practitioners, as it is not close enough to the way they think of software systems.

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

Mit Sportpsychologie durch Grenzsituationen:

$17.99

Handbuch Industrie 4.0 Bd.3

$129.00

Lexikon Direkte Demokratie in Deutschland

$29.99

axom

$39.99

Wettbewerbsorientierte Nutzenpreise

$69.99

Hrten und Vergten. T. 2. Die Praxis der Warmbehandlung

$54.99

Autonomous Robots

$199.99

Evolution of Visual and Non-visual Pigments

$139.00

Monetary Theory and Economic Institutions

$219.99

Development Macroeconomics in Latin America and Mexico

$119.99

Responsibility in Environmental Governance

$84.99

Globalization and Inequality in Emerging Societies

$54.99

Der Einfluss von Stress auf diagnostische Urteilsprozesse bei Lehrkrften

$69.99

Acute Respiratory Distress Syndrome

$79.99

Bibliographie Georg Kerschensteiner

$59.99

Adaptive Hybrid Control of Quadrotor Drones

$139.99

Collective Creativity

$54.99

Defining Physiology: Principles, Themes, Concepts

$109.00

Singular Integrals

$39.99

Lamto

$219.99

Molecular Profiling

$109.99

Passions in William Ockhams Philosophical Psychology

$109.99

Injection-Induced Breast Siliconomas

$109.99

Verkaufen nach der Krise

$39.99

The Challenge of Eurocentrism

$99.00

Zahlen

$59.99

Small-Scale Steelmaking

$39.99

The Judicialization of Politics in Latin America

$54.99

Pocket Guide to Critical Care Pharmacotherapy

$79.99

Robust Resource Allocation in Future Wireless Networks

$159.99

Brain Tumor

$39.99

Remote Sensing and Global Climate Change

$109.99

Statik des Tunnel- und Stollenbaues

$59.99

The Evolution of Yield Management in the Airline Industry

$119.99

The Psychology of Womens Health and Health Care

$44.99

Euromanagement

$59.99

Global Issues in Banking and Finance

$169.99

The World of Barbara Pym

$19.99

Last Cuentista: Alebrijes (Sp)

$8.21

Globalization of Leadership Development

$54.99