£37.52

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

30 Tables, unspecified; 50 Line drawings

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

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£38 today · cheaper than every other day in the last 24 months

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 617 days • 617 data points (No recent data available)

Historical
Generating forecast...
£62.28 £35.04 £40.99 £46.93 £52.87 £58.81 £64.76 10 June 2024 11 November 2024 14 April 2025 15 September 2025 16 February 2026

Price Distribution

Price distribution over 617 days • 8 price levels

Days at Price
Current Price
1 day · current 51 days 49 days 107 days 14 days 377 days 4 days 14 days 0 94 189 283 377 £38 £44 £45 £46 £47 £48 £51 £62 Days at Price

Price Analysis

Most common price: £48 (377 days, 61.1%)

Price range: £38 - £62

Price levels: 8 different prices over 617 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: Series Number 50 (Cambridge Tracts in Theoretical Computer Science, Series Number 50)
97% match

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

Cambridge University Press

£62.68 20 Apr 2026
A Process Algebraic Approach to Software Architecture Design
96% match

A Process Algebraic Approach to Software Architecture Design

Springer

£39.18 07 Mar 2026
Handbook of Process Algebra
95% match

Handbook of Process Algebra

Elsevier

£245.00 15 Feb 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

£88.31 09 Mar 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.94 16 Feb 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

£91.63 01 Mar 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.71 07 Mar 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

£44.95 07 Mar 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.02 21 Apr 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

£85.47 28 Feb 2026
Understanding Concurrent Systems (Texts in Computer Science)
94% match

Understanding Concurrent Systems (Texts in Computer Science)

Springer

£40.39 18 Feb 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.92 10 Apr 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 08 Mar 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

£91.42 11 Feb 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

£96.14 17 Apr 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

£41.43 11 Mar 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.80 12 Apr 2026
Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing)
93% match

Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing)

IGI Global

£183.38 11 Jan 2026
Process Modelling
93% match

Process Modelling

Springer

£89.99 10 Mar 2026
Prozessmanagement: Modelle und Methoden
93% match

Prozessmanagement: Modelle und Methoden

Springer

£46.70 07 Mar 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.08 15 Feb 2026
The Pi-Calculus: A Theory of Mobile Processes
93% match

The Pi-Calculus: A Theory of Mobile Processes

Cambridge University Press

£41.76 07 Jan 2026
Process Control: A Practical Approach
93% match

Process Control: A Practical Approach

Wiley

£88.96 14 Jan 2026
Intelligentes Prozessmanagement: Marktanteile ausbauen, Qualität steigern, Kosten reduzieren
93% match

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

Springer

£57.26 26 Feb 2026