An Introduction to Bisimulation and Coinduction PDF ePub eBook

Books Info:

An Introduction to Bisimulation and Coinduction free pdf 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.

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



17 Comments Add a comment




Related eBooks Download


  • Mathematics and Computer Science II free pdfMathematics and Computer Science II

    This is the second volume in a series of innovative proceedings entirely devoted to the connections between mathematics and computer science. Here mathematics and computer science are directly confronted and joined to tackle intricate problems in computer science with deep and innovative mathematical approaches..


  • Mathematics and Computer Science II free pdfMathematics and Computer Science II

    This is the second volume in a series of innovative proceedings entirely devoted to the connections between mathematics and computer science. Here mathematics and computer science are directly confronted and joined to tackle intricate problems in computer science with deep and innovative mathematical approaches..


  • Calculus for Cognitive Scientists free pdfCalculus for Cognitive Scientists

    This book provides a self-study program on how mathematics. computer science and science can be usefully and seamlessly intertwined. Learning to use ideas from mathematics and computation is essential for understanding approaches to cognitive and biological science..


  • Mathematics Education free pdfMathematics Education

    To define better techniques of mathematics education. this book combines a knowledge of cognitive science with mathematics curriculum theory and research..


  • Bayesian Artificial Intelligence free pdfBayesian Artificial Intelligence

    As the power of Bayesian techniques has become more fully realized. the field of artificial intelligence has embraced Bayesian methodology and integrated it to the point where an introduction to Bayesian techniques is now a core course in many computer science programs..


  • An Introduction to Bisimulation and Coinduction free pdfAn Introduction to Bisimulation and Coinduction

    . 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. Tod