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

£91.89

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

Name: Process Algebra for Parallel and Distributed Processing: 2 (Chapman & Hall/CRC Computational Science)
Brand: CRC Press
Price: 91.89 GBP
Availability: InStock

Architecture & Microprocessors

This is the most expensive it has ever been. Walk away.

£92 today · previous high £92 · all-time low £88

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 75 days · 75 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 75 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £92 (38 days, 50.7%)

Price range: £88 - £92

Price levels: 4 different prices over 75 days

Description

Collects the Latest Research Involving the Application of Process Algebra to Computing Exploring state-of-the-art applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoning―process algebra―has become a powerful tool for solving design and implementation challenges of concurrent systems. Parallel ProgrammingDivided into three parts, the book begins by parallelizing an algorithm for the Cell Broadband Engine processor of IBM, Sony, and Toshiba. It also develops a runtime environment that can be ported to different parallel platforms and describes the formal model of action systems. Distributed SystemsThe next part presents a process algebra (mCRL2) that targets distributed applications, looks at how to turn prose descriptions into unambiguous specifications, extends pi-calculus to create a service-oriented mobility abstract machine, and introduces the Channel Ambient Machine for mobile applications. Embedded SystemsThe final section combines state-based Z with the event-based process algebra CSP in a formal methodology called Circus. It also develops a pair of process algebras (PARS) to address the problem of scheduling in real-time embedded systems and emphasizes the reuse of concurrent artifacts across different hardware platforms. Highlighting recent research work, this volume addresses multicore programming problems and the evolution of the growing body of concurrency-enabled languages. It proposes solutions to the problems of designing and implementing today’s concurrency-constrained multicore processor and cloud architectures. About the Author Dr. Michael Alexander, IBM, Vienna, Austria Dr. William Gardner, University of Guelph, Ontario, Canada

Product Specifications

Brand: CRC Press
Format: hardcover
ASIN: 142006486X
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 27 September 2019
Listed Since: 20 July 2007

Barcode

No barcode data available

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

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings: 962 (Lecture Notes in Computer Science, 962)

Handbook of Process Algebra

A Process Algebraic Approach to Software Architecture Design

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

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

CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings: 1466 (Lecture Notes in Computer Science, 1466)

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

Models for Concurrency (Algebra, Logic and Applications, Vol 11)

Understanding Concurrent Systems (Texts in Computer Science)

Understanding Control Flow: Concurrent Programming Using μC++

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

Task Scheduling for Parallel Systems (Wiley Series on Parallel and Distributed Computing)

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

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

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

Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Introduction to Concurrency in Programming Languages (Chapman & Hall/CRC Computational Science)

Process Interaction Models

Advanced Multicore Systems-On-Chip: Architecture, On-Chip Network, Design

Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)

Fundamentals of Parallel Multicore Architecture (Chapman & Hall/CRC Computational Science)

Programming Multicore and Many-core Computing Systems (Wiley Series on Parallel and Distributed Computing)

Reconfigurable and Adaptive Computing: Theory and Applications

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)