Origins of Bisimulation and Coinduction

Davide Sangiorgi 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: Computer Science, Philosophical Logic (precisely, Modal Logic), Set Theory. Bisimulation and bisimilarity are coinductive notions, and as such are intimately related to fixed points, in particular greatest fixed points. Therefore also the appearance of coinduction and fixed points is discussed, though in this case only within Computer Science. The paper ends with some historical remarks on the main fixed-point theorems (such as Knaster-Tarski) that underpin the fixed-point theory presented.
Type de document :
Chapitre d'ouvrage
Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00907029
Contributeur : Davide Sangiogi <>
Soumis le : mercredi 20 novembre 2013 - 16:39:20
Dernière modification le : samedi 27 janvier 2018 - 01:31:01

Identifiants

  • HAL Id : hal-00907029, version 1

Collections

Citation

Davide Sangiorgi. Origins of Bisimulation and Coinduction. Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012. 〈hal-00907029〉

Partager

Métriques

Consultations de la notice

117