First Page | Document Content | |
---|---|---|
Date: 2012-10-10 03:52:07Theoretical computer science Mathematics Software engineering Coinduction Bisimulation Robin Milner Type theory Simulation preorder | Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/Add to Reading ListSource URL: events.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 443,40 KBShare Document on Facebook |
Coinduction Up-To in a Fibrational Setting Jurriaan Rot † Filippo Bonchi Daniela Petris¸an Damien Pous ∗DocID: 1uIga - View Document | |
1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, stillDocID: 1qXxc - View Document | |
Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei PopescuDocID: 1qD8k - View Document | |
Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/DocID: 1qoEe - View Document | |
Report on CODATA Activities, Second Quarter of 2003DocID: 1pgGM - View Document |