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, nonwellfounded 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.
About Davide Sangiorgi
Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.Details Book
Author  :  Davide Sangiorgi 
Publisher  :  Cambridge University Press 
Data Published  :  31 October 2011 
ISBN  :  1107003636 
EAN  :  9781107003637 
Format Book  :  PDF, Epub, DOCx, TXT 
Number of Pages  :  264 pages 
Age +  :  15 years 
Language  :  English 
Rating  : 
Reviews An Introduction to Bisimulation and Coinduction

Margo Anderson Get eBook An Introduction to Bisimulation and Coinduction
Finally I get this ebook, thanks for all these I can get now!

Lisa Doran Best website free download ebook
I was suspicious at first when i got redirected to the membership site. Now I'm really excited i found this online library....many thanks Kisses

Markus Jensen How to download An Introduction to Bisimulation and Coinduction eBook?
I did not think that this would work, my best friend showed me this website, and it does! I get my most wanted eBook

Roddy Murray
My friends are so mad that they do not know how I have all the high quality ebook which they do not!

Lukasz Czaru
so many fake sites. this is the first one which worked! Many thanks


Andrew Smith
Just select your click then download link, and complete an offer to start downloading the ebook. If there is a survey it only takes 5 minutes, try any survey which works for you.

Kevin Mason
lol it did not even take me 5 minutes at all! XD

