Enhanced Coalgebraic Bisimulation

Abstract : We present a systematic study of bisimulation-up-to techniques for coalgebras. This enhances the bisimulation proof method for a large class of state based systems, including labelled transition systems but also stream systems and weighted automata. Our approach allows for compositional reasoning about the soundness of enhancements. Applications include the soundness of bisimulation up to bisimilarity, up to equivalence and up to congruence. All in all, this gives a powerful and modular framework for simplified coinductive proofs of equivalence.
Type de document :
Article dans une revue
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2015, 〈10.1017/S0960129515000523〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01288960
Contributeur : Damien Pous <>
Soumis le : vendredi 20 janvier 2017 - 22:02:27
Dernière modification le : mardi 24 janvier 2017 - 01:03:26
Document(s) archivé(s) le : vendredi 21 avril 2017 - 16:56:00

Fichier

ecb.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Jurriaan Rot, Filippo Bonchi, Marcello Bonsangue, Damien Pous, Jan Rutten, et al.. Enhanced Coalgebraic Bisimulation. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2015, 〈10.1017/S0960129515000523〉. 〈hal-01288960〉

Partager

Métriques

Consultations de
la notice

123

Téléchargements du document

58