Skip to content
Open global navigation

Cambridge University Press

AcademicLocation selectorSearch toggleMain navigation toggle
Cart
Register Sign in Wishlist
Advanced Topics in Bisimulation and Coinduction

Advanced Topics in Bisimulation and Coinduction

$105.00 (Z)

Part of Cambridge Tracts in Theoretical Computer Science

Davide Sangiorgi, Bart Jacobs, Jan Rutten, Luca Aceto, Anna Ingolfsdottir, Jiří Srba, Colin Stirling, Andrew Pitts, Damien Pous, Prakash Panangaden
View all contributors
  • Date Published: November 2011
  • availability: In stock
  • format: Hardback
  • isbn: 9781107004979

$105.00 (Z)
Hardback

Add to cart Add to wishlist

Other available formats:
eBook


Looking for an examination copy?

This title is not currently available for examination. However, if you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact collegesales@cambridge.org providing details of the course you are teaching.

Description
Product filter button
Description
Contents
Resources
About the Authors
  • Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.

    • Provides a thorough treatment of the subject
    • Surveys the state of the art in this burgeoning field
    • Exercises help the reader to master new material as it is presented
    • A perfect complement to the first editor's Introduction to Bisimulation and Coinduction (Cambridge University Press, 2011)
    Read more

    Customer reviews

    Not yet reviewed

    Be the first to review

    Review was not posted due to profanity

    ×

    , create a review

    (If you're not , sign out)

    Please enter the right captcha value
    Please enter a star rating.
    Your review must be a minimum of 12 words.

    How do you rate this item?

    ×

    Product details

    • Date Published: November 2011
    • format: Hardback
    • isbn: 9781107004979
    • length: 340 pages
    • dimensions: 235 x 155 x 22 mm
    • weight: 0.61kg
    • contains: 20 b/w illus. 110 exercises
    • availability: In stock
  • Table of Contents

    Preface
    List of contributors
    1. Origins of bisimulation and coinduction Davide Sangiorgi
    2. An introduction to (co)algebra and (co)induction Bart Jacobs and Jan Rutten
    3. The algorithmics of bisimilarity Luca Aceto, Anna Ingolfsdottir and Jiří Srba
    4. Bisimulation and logic Colin Stirling
    5. Howe's method for higher-order languages Andrew Pitts
    6. Enhancements of the bisimulation proof method Damien Pous and Davide Sangiorgi
    7. Probabilistic bisimulation Prakash Panangaden.

  • Editors

    Davide Sangiorgi, University of Bologna, Italy
    Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.

    Jan Rutten, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam
    Jan Rutten is a senior researcher at Centrum Wiskunde and Informatica (CWI) in Amsterdam and Professor of Theoretical Computer Science at Radboud University, Nijmegen.

    Contributors

    Davide Sangiorgi, Bart Jacobs, Jan Rutten, Luca Aceto, Anna Ingolfsdottir, Jiří Srba, Colin Stirling, Andrew Pitts, Damien Pous, Prakash Panangaden

Sign In

Please sign in to access your account

Cancel

Not already registered? Create an account now. ×

You are now leaving the Cambridge University Press website, your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×

Find content that relates to you

Join us online

© Cambridge University Press 2014

Back to top

Are you sure you want to delete your account?

This cannot be undone.

Cancel Delete

Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

×
Please fill in the required fields in your feedback submission.
×