On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: C - Coalgebra - Document - PDFSEARCH.IO

First Page	Meta Content
	On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: C Add to Reading List Document Date: 2009-04-06 03:37:20 Open Document File Size: 413,24 KB Share Result on Facebook City Bologna / / Company Labelled Transition Systems / ACM Inc. / / Country Italy / / Currency USD / / Facility Coinduction DAVIDE SANGIORGI University of Bologna / / IndustryTerm verification tools / copyright/server / type systems / infinite-state server / least solution / / Organization Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna / / Person Jon Barwise / Marco Forti / Furio Honsell / Peter Aczel / Roland Hinnion / / Position Author / General / Walker / / Technology Simulation / / SocialTag Mathematical logic Category theory Logic in computer science Order theory Functional programming Bisimulation Coinduction Knaster–Tarski theorem F-coalgebra Mathematics

On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: CAdd to Reading List