 |
|
|
Item Details
| Title:
|
INTRODUCTION TO BISIMULATION AND COINDUCTION
|
| By: |
Davide Sangiorgi |
| Format: |
Electronic book text |
| List price:
|
£162.00 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0511777116 |
| ISBN 13: |
9780511777110 |
| Publisher: |
CAMBRIDGE UNIVERSITY PRESS |
| Pub. date: |
5 August, 2012 |
| Description: |
A comprehensive treatment of two fundamental concepts in computer science, mathematics and other fields. |
| Synopsis: |
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. |
| Illustrations: |
25 b/w illus. 210 exercises |
| Publication: |
UK |
| Imprint: |
Cambridge University Press (Virtual Publishing) |
| Returns: |
Non-returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|