£245.00

Elsevier Handbook of Process Algebra

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.

£245 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...
£245.00 £232.75 £237.65 £242.55 £247.45 £252.35 £257.25 09 June 2024 10 November 2024 13 April 2025 14 September 2025 15 February 2026

Price Distribution

Price distribution over 617 days • 1 price levels

Days at Price
617 days 0 154 309 463 617 £245 Days at Price

Price Analysis

Most common price: £245 (617 days, 100.0%)

Price range: £245 - £245

Price levels: 1 different prices over 617 days

Description

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity theory, and, of course, algebra. This Handbook documents the fate of process algebra since its inception in the late 1970's to the present. It is intended to serve as a reference source for researchers, students, and system designers and engineers interested in either the theory of process algebra or in learning what process algebra brings to the table as a formal system description and verification technique. The Handbook is divided into six parts spanning a total of 19 self-contained Chapters. The organization is as follows. Part 1, consisting of four chapters, covers a broad swath of the basic theory of process algebra. Part 2 contains two chapters devoted to the sub-specialization of process algebra known as finite-state processes, while the three chapters of Part 3 look at infinite-state processes, value-passing processes and mobile processes in particular. Part 4, also three chapters in length, explores several extensions to process algebra including real-time, probability and priority. The four chapters of Part 5 examine non-interleaving process algebras, while Part 6's three chapters address process-algebra tools and applications.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
20 March 2001
Listed Since
06 February 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
Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)
96% match

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

Springer

£44.95 07 Mar 2026
Understanding Concurrent Systems (Texts in Computer Science)
96% match

Understanding Concurrent Systems (Texts in Computer Science)

Springer

£40.39 18 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)
95% match

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

Morgan & Claypool

£43.94 16 Feb 2026
Applications of Process Algebra: 17 (Cambridge Tracts in Theoretical Computer Science, Series Number 17)
95% match

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

Cambridge University Press

£37.52 16 Feb 2026
Large Deviations For Performance Analysis: Queues, Communication and Computing (Routledge Revivals)
95% match

Large Deviations For Performance Analysis: Queues, Communication and Computing (Routledge Revivals)

Routledge

£138.00 11 Feb 2026
Prozessmanagement: Modelle und Methoden
95% match

Prozessmanagement: Modelle und Methoden

Springer

£46.70 07 Mar 2026
Introduction to Discrete Event Systems
95% match

Introduction to Discrete Event Systems

Springer

£91.43 09 Feb 2026
Modeling Companion for Software Practitioners
95% match

Modeling Companion for Software Practitioners

Springer

£46.83 10 Apr 2026
Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)
95% match

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

Birkhauser

£30.00 17 Feb 2026
Springer - Petri Nets: Theoretical Models and Analysis Methods
95% match

Springer - Petri Nets: Theoretical Models and Analysis Methods

Springer

£83.15 12 Apr 2026
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
95% match

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

AFNOR

£48.25 20 Apr 2026
Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)
95% match

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

Wiley

£55.79 15 Apr 2026
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)
95% match

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

£67.95 08 Mar 2026
Temporal Verification of Reactive Systems: Safety
95% match

Temporal Verification of Reactive Systems: Safety

Springer

£57.06 15 Feb 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
95% 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
Agent-Based Business Process Simulation: A Primer with Applications and Examples
95% match

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

£84.37 22 Jan 2026
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
95% match

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£71.74 26 Feb 2026
Process Modeling and Management for Healthcare (Chapman & Hall/CRC Healthcare Informatics Series)
95% match

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

CRC Press

£96.14 17 Apr 2026
Fundamentals of Business Process Management
95% match

Fundamentals of Business Process Management

Springer

£45.69 07 Jan 2026
Modeling Software with Finite State Machines: A Practical Approach
95% match

Modeling Software with Finite State Machines: A Practical Approach

CRC Press

£115.00 06 Mar 2026
Process Management: A Multi-disciplinary Guide to Theory, Modeling, and Methodology (Progress in IS)
95% match

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

Springer

£91.63 01 Mar 2026