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.
Search results for Introduction to Bisimulation and Coinduction
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
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. Seller Inventory # C9781107003637
Buy New
US$ 134.49
US$ 23.06 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
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, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 260. Seller Inventory # 263123413
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 4 out of 5 stars
Condition: New. Print on Demand pp. 260 25 Illus. Seller Inventory # 5773066
Buy New
US$ 182.34
US$ 8.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
An Introduction to Bisimulation and Coinduction
Published by
Cambridge University Press, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
New
Hardcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 260. Seller Inventory # 183123423
Buy New
US$ 193.41
US$ 11.32 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Introduction to Bisimulation and Coinduction
Published by
Cambridge University Press, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. A comprehensive treatment of two fundamental concepts in computer science, mathematics and other fields.Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction an. Seller Inventory # 900074261
Buy New
US$ 151.01
US$ 55.76 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
An Introduction to Bisimulation and Coinduction
Seller: 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. Seller Inventory # x-1107003636
Buy New
US$ 194.17
US$ 16.55 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9781107003637
Buy New
US$ 166.34
US$ 48.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Introduction to Bisimulation and Coinduction
Published by
Cambridge University Press Nov 2011, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware - 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. Seller Inventory # 9781107003637
Buy New
US$ 208.80
US$ 39.84 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available