£75.52

Cambridge University Press An Introduction to Bisimulation and Coinduction

25 b/w illus. 210 exercises

Price data last checked 29 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.

£76 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 62 days · 62 data points (no recent data)

Historical
Generating forecast…
£75.95 £75.48 £75.58 £75.68 £75.79 £75.89 £75.99 10 June 2026 25 June 2026 10 July 2026 25 July 2026 10 August 2026

Price Distribution

Price distribution over 62 days • 1 price levels

Days at Price
62 days 0 16 31 47 62 £76 Days at Price

Price Analysis

Most common price: £76 (62 days, 100.0%)

Price range: £76 - £76

Price levels: 1 different prices over 62 days

Description

Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis.

Key Features

An Introduction to Bisimulation and Coduction

Product type: ABIS BOOK

Brand: Cambridge University Press

Product Specifications

Barcode

No barcode data available

Similar Products You Might Like

Handbook of Mathematical Induction: Theory and Applications (Discrete Mathematics and Its Applications)
96% match

Handbook of Mathematical Induction: Theory and Applications (Discrete Mathematics and Its Applications)

CRC Press

£260.00 29 Aug 2026
Reasoning by Mathematical Induction in Children's Arithmetic (Advances in Learning and Instruction Series)
95% match

Reasoning by Mathematical Induction in Children's Arithmetic (Advances in Learning and Instruction Series)

Parlux

£101.99 27 Jul 2026
Discrete Mathematics for Computer Science
95% match

Discrete Mathematics for Computer Science

£90.58 15 Jul 2026
An Introduction to Probability and Inductive Logic
95% match

An Introduction to Probability and Inductive Logic

Cambridge University Press

£94.47 16 Jul 2026
Logic, Induction and Sets (London Mathematical Society Student Texts): 56 (London Mathematical Society Student Texts, Series Number 56)
95% match

Logic, Induction and Sets (London Mathematical Society Student Texts): 56 (London Mathematical Society Student Texts, Series Number 56)

Cambridge University Press

£95.29 17 Jul 2026
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
95% match

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Oxford University Press

£112.54 11 Aug 2026
Proof Theory: The First Step into Impredicativity (Universitext)
95% match

Proof Theory: The First Step into Impredicativity (Universitext)

Springer

£52.00 18 Jul 2026
An Introduction to the Language of Mathematics
95% match

An Introduction to the Language of Mathematics

Springer

£39.76 08 Jul 2026
Automated Mathematical Induction
95% match

Automated Mathematical Induction

Springer

£85.65 01 Aug 2026
Cambridge Metamathematics of First-Order Arithmetic - Book 3
94% match

Cambridge Metamathematics of First-Order Arithmetic - Book 3

Cambridge University Press

£91.66 17 Jul 2026
The Material Theory of Induction: 1 (BSPS Open)
94% match

The Material Theory of Induction: 1 (BSPS Open)

University of Calgary Press

£38.80 04 Sep 2026
Foundations of Geometry and Induction: Containing Geometry in the Sensible World and the Logical Problem (International Library of Philosophy)
94% match

Foundations of Geometry and Induction: Containing Geometry in the Sensible World and the Logical Problem (International Library of Philosophy)

Routledge

£248.35 27 Aug 2026
Cambridge University Press - Pure Inductive Logic Monograph
94% match

Cambridge University Press - Pure Inductive Logic Monograph

Cambridge University Press

£93.00 18 Jul 2026
Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings: 543 (Lecture Notes in Computer Science, 543)
94% match

Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings: 543 (Lecture Notes in Computer Science, 543)

Springer

£44.61 21 Jul 2026
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
94% match

A Short Introduction to Intuitionistic Logic (University Series in Mathematics)

Springer

£98.51 08 Jul 2026
Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis
94% match

Introduction to Incompleteness: From Gödel's Theorems to Forcing and the Continuum Hypothesis

Birkhauser

£108.00 14 Aug 2026
The Implications of Induction: 5 (Routledge Library Editions: Logic)
94% match

The Implications of Induction: 5 (Routledge Library Editions: Logic)

Routledge

£107.40 18 Jul 2026
Springer - Abduction and Induction: Essays on Relation and Integration
94% match

Springer - Abduction and Induction: Essays on Relation and Integration

Springer

£108.00 20 Jul 2026
Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)
94% match

Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)

CRC Press

£80.00 02 Jul 2026
Induction and Deduction in the Sciences: 11 (Vienna Circle Institute Yearbook, 11)
94% match

Induction and Deduction in the Sciences: 11 (Vienna Circle Institute Yearbook, 11)

Springer

£108.01 25 Aug 2026
Induction and Deduction in the Sciences: 11 (Vienna Circle Institute Yearbook, 11)
94% match

Induction and Deduction in the Sciences: 11 (Vienna Circle Institute Yearbook, 11)

Springer

£98.76 11 Aug 2026
Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
94% match

Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)

£86.50 15 Jul 2026
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
94% match

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Chapman and Hall/CRC

£47.28 15 Aug 2026
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
94% match

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

CRC Press

£85.00 11 Aug 2026