£75.95

Cambridge University Press Introduction to Bisimulation and Coinduction

25 b/w illus. 210 exercises

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

View at Amazon

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

This is the most expensive it has ever been. Walk away.

£76 today · previous high £76 · all-time low £72

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

Historical
Generating forecast...
£75.95 £71.47 £72.45 £73.43 £74.40 £75.38 £76.36 31 March 2026 17 April 2026 05 May 2026 22 May 2026 09 June 2026

Price Distribution

Price distribution over 71 days • 3 price levels

Days at Price
Current Price
56 days 10 days 5 days · current 0 14 28 42 56 £72 £75 £76 Days at Price

Price Analysis

Most common price: £72 (56 days, 78.9%)

Price range: £72 - £76

Price levels: 3 different prices over 71 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

£235.00 24 Jun 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 06 May 2026
Discrete Mathematics for Computer Science
95% match

Discrete Mathematics for Computer Science

£87.90 19 Apr 2026
An Introduction to Probability and Inductive Logic
95% match

An Introduction to Probability and Inductive Logic

Cambridge University Press

£89.59 20 Apr 2026
Logic, Induction and Sets: 56 (London Mathematical Society Student Texts, Series Number 56)
95% match

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

Cambridge University Press

£93.49 23 Apr 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

£108.05 10 Jun 2026
Proof Theory: The First Step into Impredicativity (Universitext)
95% match

Proof Theory: The First Step into Impredicativity (Universitext)

Springer

£52.00 25 Apr 2026
An Introduction to the Language of Mathematics
95% match

An Introduction to the Language of Mathematics

Springer

£38.20 07 Mar 2026
Automated Mathematical Induction
95% match

Automated Mathematical Induction

Springer

£79.04 12 May 2026
Cambridge Metamathematics of First-Order Arithmetic - Book 3
94% match

Cambridge Metamathematics of First-Order Arithmetic - Book 3

Cambridge University Press

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

The Material Theory of Induction: 1 (BSPS Open)

University of Calgary Press

£38.85 26 Jun 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

£216.72 22 Jun 2026
Cambridge University Press - Pure Inductive Logic Monograph
94% match

Cambridge University Press - Pure Inductive Logic Monograph

Cambridge University Press

£71.12 27 Apr 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.57 29 Apr 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 07 Mar 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

£94.19 12 Jun 2026
The Implications of Induction: 5 (Routledge Library Editions: Logic)
94% match

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

Routledge

£107.38 26 Apr 2026
Springer - Abduction and Induction: Essays on Relation and Integration
94% match

Springer - Abduction and Induction: Essays on Relation and Integration

Springer

£105.94 28 Apr 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 22 Feb 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

£107.98 20 Jun 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

£83.77 10 Jun 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 17 Apr 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.37 13 Jun 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 10 Jun 2026