Items related to Introduction to Bisimulation and Coinduction
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.
"synopsis" may belong to another edition of this title.
About the Author
Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date2011
- ISBN 10 1107003636
- ISBN 13 9781107003637
- BindingHardcover
- LanguageEnglish
- Number of pages260
Search results for Introduction to Bisimulation and Coinduction
Stock Image
An Introduction to Bisimulation and Coinduction
Published by
Cambridge University Press, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
Used
Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 52158220-6
Quantity: 1 available
Seller Image
Introduction to Bisimulation and Coinduction
Published by
Cambridge University Press, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
New
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 12618402-n
Quantity: Over 20 available
Stock Image
An Introduction to Bisimulation and Coinduction
Published by
Cambridge University Press, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
New
Hardcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 260 25 Illus. Seller Inventory # 5773066
Quantity: 3 available
Stock Image
Introduction to Bisimulation and Coinduction
Published by
Cambridge University Press, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 667. Seller Inventory # C9781107003637
Quantity: Over 20 available
Stock Image
An Introduction to Bisimulation and Coinduction
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 264 pages. 10.04x7.13x0.83 inches. In Stock. This item is printed on demand. Seller Inventory # __1107003636
Quantity: 1 available
Seller Image
Introduction to Bisimulation and Coinduction
Published by
Cambridge University Press, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 12618402-n
Quantity: Over 20 available
Stock Image
Introduction to Bisimulation and Coinduction
Published by
Cambridge University Press, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9781107003637
Quantity: Over 20 available
Stock Image
An Introduction to Bisimulation and Coinduction
Published by
Cambridge University Press CUP, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
New
Hardcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 260. Seller Inventory # 263123413
Quantity: 3 available
Stock Image
Introduction to Bisimulation and Coinduction (Hardcover)
Published by
Cambridge University Press, Cambridge, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. Bisimulation and coinduction offer powerful tools for understanding structures that are common in computer science, mathematics and other fields. No other textbook offers a comprehensive treatment of these two concepts. Here, the author teaches the basic theory and how to apply it, with a special emphasis on applications to processes. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9781107003637
Quantity: 1 available
Seller Image
Introduction to Bisimulation and Coinduction
Published by
Cambridge University Press, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
Used
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 12618402
Quantity: Over 20 available