£41.76

Cambridge University Press The Pi-Calculus: A Theory of Mobile Processes

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

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£42 today · usual range £0–£0 · best ever £30

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

Historical
Generating forecast...
£61.99 £26.92 £34.57 £42.22 £49.88 £57.53 £65.18 10 June 2024 01 November 2024 25 March 2025 16 August 2025 07 January 2026

Price Distribution

Price distribution over 577 days • 5 price ranges

Days at Price
Current Price
7 days 7 days · current 7 days 391 days 165 days 0 98 196 293 391 £30-36 £36-43 £43-49 £49-56 £56-62 Days at Price

Price Analysis

Most common range: £49-56 (391 days, 67.8%)

Price range: £30 - £62

Price levels: 5 price ranges over 577 days

Description

Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.

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

Enterprise Interoperability II: New Challenges and Approaches: 3 (Proceedings of the I-ESA Conferences, 3)
95% match

Enterprise Interoperability II: New Challenges and Approaches: 3 (Proceedings of the I-ESA Conferences, 3)

Springer

£152.30 29 Jan 2026
A Practical Guide to Teaching Mathematics in the Secondary School (Routledge Teaching Guides)
95% match

A Practical Guide to Teaching Mathematics in the Secondary School (Routledge Teaching Guides)

Routledge

£123.38 11 Feb 2026
Philosophy of Mathematics: Classic and Contemporary Studies (Textbooks in Mathematics)
95% match

Philosophy of Mathematics: Classic and Contemporary Studies (Textbooks in Mathematics)

CRC Press

£53.97 14 Feb 2026
Precalculus
95% match

Precalculus

PEARSON EDUCATION

£92.99 08 Mar 2026
Proceedings of ECCS 2014: European Conference on Complex Systems (Springer Proceedings in Complexity)
95% match

Proceedings of ECCS 2014: European Conference on Complex Systems (Springer Proceedings in Complexity)

Springer

£110.34 14 Apr 2026
Graph Partitioning and Graph Clustering: 10th Dimacs Implementation Challenge Workshop February 13-14, 2012 Georgia Institute of Technology Atlanta, Ga (Contemporary Mathematics)
95% match

Graph Partitioning and Graph Clustering: 10th Dimacs Implementation Challenge Workshop February 13-14, 2012 Georgia Institute of Technology Atlanta, Ga (Contemporary Mathematics)

£87.50 01 Mar 2026
Leonhard Euler: Mathematical Genius in the Enlightenment
95% match

Leonhard Euler: Mathematical Genius in the Enlightenment

Princeton University Press

£40.73 20 Feb 2026
Pi of Life: The Hidden Happiness of Mathematics
95% match

Pi of Life: The Hidden Happiness of Mathematics

Rowman & Littlefield Publishers

£71.00 17 Feb 2026
Computation and Combinatorics in Dynamics, Stochastics and Control: The Abel Symposium, Rosendal, Norway, August 2016: 13 (Abel Symposia, 13)
95% match

Computation and Combinatorics in Dynamics, Stochastics and Control: The Abel Symposium, Rosendal, Norway, August 2016: 13 (Abel Symposia, 13)

Springer

£117.77 12 Mar 2026
Process Control
95% match

Process Control

Anshan Pub

£40.00 11 Apr 2026
Methods of Applied Mathematics with a Software Overview (Applied and Numerical Harmonic Analysis)
95% match

Methods of Applied Mathematics with a Software Overview (Applied and Numerical Harmonic Analysis)

Birkhauser

£60.76 17 Feb 2026
Volume 5: Music in the Late Twentieth Century: The Oxford History of Western Music: 05
95% match

Volume 5: Music in the Late Twentieth Century: The Oxford History of Western Music: 05

Oxford University Press

£98.90 21 Jan 2026
Prokhorov and Contemporary Probability Theory: In Honor of Yuri V. Prokhorov: 33 (Springer Proceedings in Mathematics & Statistics, 33)
95% match

Prokhorov and Contemporary Probability Theory: In Honor of Yuri V. Prokhorov: 33 (Springer Proceedings in Mathematics & Statistics, 33)

Springer

£74.74 08 Mar 2026
Simulating Complex Systems by Cellular Automata (Understanding Complex Systems)
95% match

Simulating Complex Systems by Cellular Automata (Understanding Complex Systems)

Springer

£78.15 08 Mar 2026
Fractional Calculus in Medical and Health Science (Mathematics and its Applications)
95% match

Fractional Calculus in Medical and Health Science (Mathematics and its Applications)

CRC Press

£96.93 04 Feb 2026
Advanced Mathematics for Applications
95% match

Advanced Mathematics for Applications

Cambridge University Press

£48.83 24 Jan 2026
Stability and Oscillations in Delay Differential Equations of Population Dynamics: 74 (Mathematics and Its Applications, 74)
95% match

Stability and Oscillations in Delay Differential Equations of Population Dynamics: 74 (Mathematics and Its Applications, 74)

Springer

£147.91 11 Mar 2026
Industrial Communication Systems (Electrical Engineering Handbook)
95% match

Industrial Communication Systems (Electrical Engineering Handbook)

CRC Press

£119.46 10 Feb 2026
Process Algebra: Equational Theories of Communicating Processes: Series Number 50 (Cambridge Tracts in Theoretical Computer Science, Series Number 50)
95% 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
Probabilistic Methods in Geometry, Topology and Spectral Theory: Probabliistic Methods in Spectral Geometry Pde August 22-26 2016 Probabilistic ... Quebec, Canada (Contemporary Mathematics)
95% match

Probabilistic Methods in Geometry, Topology and Spectral Theory: Probabliistic Methods in Spectral Geometry Pde August 22-26 2016 Probabilistic ... Quebec, Canada (Contemporary Mathematics)

£88.69 07 Apr 2026
Invariant Probabilities of Transition Functions: 44 (Probability and Its Applications)
95% match

Invariant Probabilities of Transition Functions: 44 (Probability and Its Applications)

Springer

£64.51 08 Mar 2026
Qualitative Theory of Volterra Difference Equations
95% match

Qualitative Theory of Volterra Difference Equations

Springer

£74.78 23 Feb 2026
Precalculus: United States Edition
95% match

Precalculus: United States Edition

PEARSON EDUCATION

£54.09 27 Feb 2026
FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... (Lecture Notes in Computer Science, 1709)
95% match

FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... (Lecture Notes in Computer Science, 1709)

Springer

£107.95 08 Mar 2026