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

GI/OCG/GI-Jahrestagung 1985

$59.99

Corporate Governance und Stakeholder-Ansatz

$79.99

100th Day of School Pack

$6.99

Comprehensive Treatise of Electrochemistry

$39.99

Understanding and Prediction

$169.99

Film, Art, New Media: Museum Without Walls?

$109.99

Biophotonics

$169.99

NonFiction Library Grade 4

$275.00

Atlas of Clinical Neurology

$199.00

A Cultural Sociology of Anglican Mission and the Indian Residential Schools in Canada

$84.99

The Palgrave Handbook of Disability Sport in Europe

$249.99

Knowledge Generation and Technical Change

$84.99

Handbook of Contrast Echocardiography

$109.99

Soil Science: Agricultural and Environmental Prospectives

$199.99

Artificial Intelligence

$159.99

Textbook of Hand Eczema

$199.99

Linguistic Decision Making

$84.99

The Allied Intervention in Russia, 1918-1920

$119.99

Global Atmospheric Phenomena Involving Water

$109.99

Rethinking Economics Starting from the Commons

$119.00

Methods and Techniques for Preventing and Mitigating Water Hazards in Mines

$199.99

Mastering Rhinoplasty

$169.00

Fixateur externe Fixateur interne

$69.95

Einflu der Schutzgasatmosphre auf die Eigenschaften von Sinterstahl

$49.99

Philosophical Fallacies

$119.99

Ant Colony Optimization and Swarm Intelligence

$109.99

Pre-vocational Education in Germany and China

$54.99

Models and Tools for Managing Development Processes

$39.99

Knstliche Intelligenz im Supply Chain Management Potenziale und Grenzen der KI

$14.99

My Books Summer Spanish Grade 3 Fiction/Nonfiction 6-Book Pack

$34.95

Hochschul-Sponsoring

$69.99

Hoppy Go Lucky

$5.99

Management of Multimedia Networks and Services

$109.99

Conceptualizing Soft Power of Higher Education

$119.99

Rookie Read-About Science-Weather and Seasons: How Do You Know It's Fall?

$4.46

13th Chaotic Modeling and Simulation International Conference

$149.00

Theorie und Praxis der Schwingungsprfmaschinen

$79.99

Galactic Dynamics and N-Body Simulations

$84.99

Drug Addiction and Related Clinical Problems

$54.99

Business Ethics

$109.99