£42.48

About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.

£42 today · all-time low £42 (Aug 2026) · usually the usual

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

View at Amazon

Price History & Forecast

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

Last 46 days · 46 data points (no recent data)

Historical
Generating forecast…
£42.51 £41.57 £41.78 £41.98 £42.19 £42.39 £42.60 25 July 2026 05 August 2026 16 August 2026 27 August 2026 08 September 2026
View at Amazon ↗

30 Tables, unspecified; 50 Line drawings

Price data last checked 45 day(s) ago - refreshing...

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 Distribution

Price distribution over 46 days • 1 price levels

Days at Price
46 days 0 12 23 35 46 £42 Days at Price

Price Analysis

Most common price: £42 (46 days, 100.0%)

Price range: £42 - £42

Price levels: 1 different prices over 46 days

Description

This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term 'algebra' is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
21 August 2008
Listed Since
08 January 2007

Barcode

No barcode data available

Similar Products You Might Like

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

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

Cambridge University Press

£61.63 03 Oct 2026
A Process Algebraic Approach to Software Architecture Design
96% match

A Process Algebraic Approach to Software Architecture Design

Springer

£39.77 23 Sep 2026
Handbook of Process Algebra
95% match

Handbook of Process Algebra

Elsevier

£245.00 08 Sep 2026
Process Algebra for Parallel and Distributed Processing: 2 (Chapman & Hall/CRC Computational Science)
95% match

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

CRC Press

£87.70 24 Sep 2026
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
94% match

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

Morgan & Claypool

£43.09 08 Sep 2026
Process Management: A Multi-disciplinary Guide to Theory, Modeling, and Methodology (Progress in IS)
94% match

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

Springer

£92.22 19 Sep 2026
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
94% match

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

Springer

£44.66 23 Sep 2026
Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)
94% match

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Springer

£40.98 23 Sep 2026
Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)
94% match

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

Springer

£76.05 03 Oct 2026
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)
94% match

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)

Springer

£87.52 18 Sep 2026
Understanding Concurrent Systems (Texts in Computer Science)
94% match

Understanding Concurrent Systems (Texts in Computer Science)

Springer

£40.85 10 Sep 2026
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings: 962 (Lecture Notes in Computer Science, 962)
94% match

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

Springer

£44.99 30 Sep 2026
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)
94% match

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

£67.95 23 Sep 2026
Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
94% match

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

Cambridge University Press

£109.69 05 Sep 2026
Process Modeling and Management for Healthcare (Chapman & Hall/CRC Healthcare Informatics Series)
93% match

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

CRC Press

£115.00 02 Oct 2026
Practical Process Automation: Orchestration and Integration in Microservices and Cloud Native Architectures
93% match

Practical Process Automation: Orchestration and Integration in Microservices and Cloud Native Architectures

O'Reilly

£38.05 25 Sep 2026
Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)
93% match

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

Springer

£44.99 01 Oct 2026
Process Modelling
93% match

Process Modelling

Springer

£77.49 25 Sep 2026
Prozessmanagement: Modelle und Methoden
93% match

Prozessmanagement: Modelle und Methoden

Springer

£46.99 23 Sep 2026
Computer-Aided Reasoning: ACL2 Case Studies: 4 (Advances in Formal Methods, 4)
93% match

Computer-Aided Reasoning: ACL2 Case Studies: 4 (Advances in Formal Methods, 4)

Springer

£166.22 08 Sep 2026
Intelligentes Prozessmanagement: Marktanteile ausbauen, Qualität steigern, Kosten reduzieren
93% match

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

Springer

£57.26 13 Sep 2026
Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)
93% match

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

Wiley

£57.96 02 Oct 2026
Advances in Intelligent Process-Aware Information Systems: Concepts, Methods, and Technologies: 123 (Intelligent Systems Reference Library, 123)
93% match

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

Springer

£111.12 09 Sep 2026
PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING
93% match

PROPERTY-PRESERVING PETRI NET PROCESS ALGEBRA IN SOFTWARE ENGINEERING

World Scientific Publishing Company

£61.32 02 Oct 2026