Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http: www.cs.unibo.it ˜ sangio - Lancelot Joynson-Hicks, 3rd Viscount Brentford - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-10-10 03:52:07 Theoretical 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 List Source URL: events.inf.ed.ac.uk Download Document from Source Website File Size: 443,40 KB Share Document on Facebook

	Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/ DocID: 1qoEe - View Document
	BRICS Basic Research in Computer Science BRICS RSAceto et al.: 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is not DocID: 1aWeP - View Document
	A bisimulation approach to verification of molecular implementations of formal chemical reaction networks A Thesis Presented by Qing Dong DocID: Nkl6 - View Document
	A Notion of Glue Expressiveness for Component-Based Systems Simon Bliudze1 and Joseph Sifakis1 ´ VERIMAG, Centre Equation, 2 av de Vignate, 38610, Gi`eres, France DocID: cCaT - View Document