Weak Bisimulations for Coalgebras over Ordered Functors - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Weak Bisimulations for Coalgebras over Ordered Functors

Tomasz Brengos
  • Fonction : Auteur
  • PersonId : 995261

Résumé

The aim of this paper is to introduce a coalgebraic setting in which it is possible to generalize and compare the two known approaches to defining weak bisimulation for labelled transition systems. We introduce two definitions of weak bisimulation for coalgebras over ordered functors, show their properties and give sufficient conditions for them to coincide. We formulate a weak coinduction principle.
Fichier principal
Vignette du fichier
978-3-642-33475-7_7_Chapter.pdf (356.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01556223 , version 1 (04-07-2017)

Licence

Paternité

Identifiants

Citer

Tomasz Brengos. Weak Bisimulations for Coalgebras over Ordered Functors. 7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.87-103, ⟨10.1007/978-3-642-33475-7_7⟩. ⟨hal-01556223⟩
39 Consultations
72 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More