A Process Algebraic Approach to Software Architecture Design - Image 1

£39.18

Springer A Process Algebraic Approach to Software Architecture Design

Name: A Process Algebraic Approach to Software Architecture Design
Brand: Springer
Price: 39.18 GBP
Availability: InStock

Architecture & Microprocessors

This is the usual price. Wait for it to drop, or tell us your number.

£39 today · usual range £0–£0 · best ever £37

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 636 days • 636 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 636 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £39 (558 days, 87.7%)

Price range: £37 - £45

Price levels: 3 different prices over 636 days

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1447157664
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 20 October 2014
Listed Since: 21 October 2014

Barcode

No barcode data available

Springer A Process Algebraic Approach to Software Architecture Design

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Handbook of Process Algebra

Process Algebra: Equational Theories of Communicating Processes: Series Number 50 (Cambridge Tracts in Theoretical Computer Science, Series Number 50)

Applications of Process Algebra: 17 (Cambridge Tracts in Theoretical Computer Science, Series Number 17)

Process Algebra for Parallel and Distributed Processing: 2 (Chapman & Hall/CRC Computational Science)

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

Understanding Concurrent Systems (Texts in Computer Science)

Agent-Based Business Process Simulation: A Primer with Applications and Examples

Prozessmanagement: Modelle und Methoden

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)

Prozessmanagement für Experten: Impulse für aktuelle und wiederkehrende Themen

Advances in Intelligent Process-Aware Information Systems: Concepts, Methods, and Technologies: 123 (Intelligent Systems Reference Library, 123)

Process Management: A Multi-disciplinary Guide to Theory, Modeling, and Methodology (Progress in IS)

Business and Scientific Workflows: A Web Service-Oriented Approach: 5 (IEEE Press Series on Systems Science and Engineering)

Enterprise Process Management Systems: Engineering Process-Centric Enterprise Systems using BPMN 2.0

Guide du management par les Processus: V4 BPM CBOK enrichi au niveau européen et traduit par les experts du Club des Pilotes de Processus

Intelligentes Prozessmanagement: Marktanteile ausbauen, Qualität steigern, Kosten reduzieren

Process Modeling and Management for Healthcare (Chapman & Hall/CRC Healthcare Informatics Series)

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)

Agents and Multi-Agent Systems: Technologies and Applications 2020: 14th KES International Conference, KES-AMSTA 2020, June 2020 Proceedings: 186 (Smart Innovation, Systems and Technologies, 186)

High Performance Through Business Process Management: Strategy Execution in a Digital World

The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I: 1

Business Process Management Workshops: BPM 2021 International Workshops, Rome, Italy, September 6–10, 2021, Revised Selected Papers: 436 (Lecture Notes in Business Information Processing, 436)