Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http: www.cs.unibo.it ˜ sangio - Preorder - Document - PDFSEARCH.IO

First Page	Meta Content
	Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/ Add to Reading List Document Date: 2012-10-10 03:52:07 Open Document File Size: 443,40 KB Share Result on Facebook

Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/Add to Reading List