Skip to main content Accessibility help
Advanced Topics in Bisimulation and Coinduction
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 9
  • Cited by
    This book has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Aristizábal, Andrés Bonchi, Filippo Pino, Luis and Valencia, Frank 2012. Reducing Weak to Strong Bisimilarity in CCP. Electronic Proceedings in Theoretical Computer Science, Vol. 104, Issue. , p. 2.

    Grabmayer, Clemens Endrullis, Jorg Hendriks, Dimitri Klop, Jan Willem and Moss, Lawrence S. 2012. Automatic Sequences and Zip-Specifications. p. 335.

    Bonchi, Filippo Bonsangue, Marcello Caltais, Georgiana Rutten, Jan and Silva, Alexandra 2012. Final Semantics for Decorated Traces. Electronic Notes in Theoretical Computer Science, Vol. 286, Issue. , p. 73.

    Hur, Chung-Kil Neis, Georg Dreyer, Derek and Vafeiadis, Viktor 2013. The power of parameterization in coinductive proof. ACM SIGPLAN Notices, Vol. 48, Issue. 1, p. 193.

    Åman Pohjola, Johannes and Parrow, Joachim 2016. Bisimulation up-to techniques for psi-calculi. p. 142.

    Setzer, Anton 2016. Advances in Proof Theory. Vol. 28, Issue. , p. 377.

    Deshmukh, Jyotirmoy V. Majumdar, Rupak and Prabhu, Vinayak S. 2017. Quantifying conformance using the Skorokhod metric. Formal Methods in System Design, Vol. 50, Issue. 2-3, p. 168.

    Jiang, Ying Liu, Shichao and Ehrhard, Thomas 2018. A fully abstract semantics for value-passing CCS for trees. Frontiers of Computer Science,

    Hirschowitz, Tom 2019. Familial monads and structural operational semantics. Proceedings of the ACM on Programming Languages, Vol. 3, Issue. POPL, p. 1.

  • Edited by Davide Sangiorgi, University of Bologna, Italy , Jan Rutten, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam
  • Export citation
  • Recommend to librarian
  • Recommend this book

    Email your librarian or administrator to recommend adding this book to your organisation's collection.

    Advanced Topics in Bisimulation and Coinduction
    • Online ISBN: 9780511792588
    • Book DOI:
    Please enter your name
    Please enter a valid email address
    Who would you like to send this to *
  • Buy the print book

Book description

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.

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Send to Kindle
  • Send to Dropbox
  • Send to Google Drive
  • Send content to

    To send content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to .

    To send content items to your Kindle, first ensure is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle.

    Note you can select to send to either the or variations. ‘’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

    Find out more about the Kindle Personal Document Service.

    Please be advised that item(s) you selected are not available.
    You are about to send

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.



Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Book summary page views

Total views: 0 *
Loading metrics...

* Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

Usage data cannot currently be displayed