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 |