£245.00

Elsevier Handbook of Process Algebra

Price data last checked 26 day(s) ago - will refresh soon

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

Historical
Generating forecast…
£245.00 £232.75 £237.65 £242.55 £247.45 £252.35 £257.25 26 April 2026 12 May 2026 28 May 2026 13 June 2026 29 June 2026

Price Distribution

Price distribution over 65 days • 1 price levels

Days at Price
65 days 0 16 33 49 65 £245 Days at Price

Price Analysis

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

Price range: £245 - £245

Price levels: 1 different prices over 65 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 (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.16 16 Jul 2026
A Process Algebraic Approach to Software Architecture Design
96% match

A Process Algebraic Approach to Software Architecture Design

Springer

£39.76 08 Jul 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

£29.74 08 Jul 2026
Understanding Concurrent Systems (Texts in Computer Science)
96% match

Understanding Concurrent Systems (Texts in Computer Science)

Springer

£40.92 01 Jul 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

£91.89 09 Jul 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.43 30 Jun 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

£42.86 30 Jun 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

£141.85 27 Jun 2026
Prozessmanagement: Modelle und Methoden
95% match

Prozessmanagement: Modelle und Methoden

Springer

£46.99 08 Jul 2026
Introduction to Discrete Event Systems
95% match

Introduction to Discrete Event Systems

Springer

£89.13 26 Jun 2026
Modeling Companion for Software Practitioners
95% match

Modeling Companion for Software Practitioners

Springer

£47.08 13 Jul 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

£64.15 01 Jul 2026
Springer - Petri Nets: Theoretical Models and Analysis Methods
95% match

Springer - Petri Nets: Theoretical Models and Analysis Methods

Springer

£86.73 14 Jul 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

£47.84 16 Jul 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.89 15 Jul 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 Jul 2026
Temporal Verification of Reactive Systems: Safety
95% match

Temporal Verification of Reactive Systems: Safety

Springer

£60.75 29 Jun 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.70 08 Jul 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

£44.99 04 Jul 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

£97.00 15 Jul 2026
Modeling Software with Finite State Machines: A Practical Approach
95% match

Modeling Software with Finite State Machines: A Practical Approach

CRC Press

£128.25 08 Jul 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

£92.18 06 Jul 2026
Diagnosis and Fault-Tolerant Control
94% match

Diagnosis and Fault-Tolerant Control

Springer

£62.21 13 Jul 2026
Advances in Intelligent Process-Aware Information Systems: Concepts, Methods, and Technologies: 123 (Intelligent Systems Reference Library, 123)
94% match

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

Springer

£109.59 01 Jul 2026