Relational Presheaves as Labelled Transition Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2012

Relational Presheaves as Labelled Transition Systems

Paweł Sobociński
  • Fonction : Auteur
School of Electronics and Computer Science

Résumé

We show that viewing labelled transition systems as relational presheaves captures several recently studied examples. This approach takes into account possible algebraic structure on labels. Weak closure of a labelled transition system is characterised as a left (2-)adjoint to a change-of-base functor.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
978-3-642-32784-1_3_Chapter.pdf (311.31 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01539889

Soumis le : jeudi 15 juin 2017-15:02:50

Dernière modification le : samedi 8 juin 2019-14:20:03

Archivage à long terme le : mercredi 13 décembre 2017-12:12:20

Télécharger pour visualiser

Dates et versions

hal-01539889 , version 1 (15-06-2017)

Licence

Paternité

Identifiants

Citer

Paweł Sobociński. Relational Presheaves as Labelled Transition Systems. 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.40-50, ⟨10.1007/978-3-642-32784-1_3⟩. ⟨hal-01539889⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-CMCS IFIP-LNCS-7399 IFIP-ETAPS
128 Consultations
235 Téléchargements

Altmetric

Partager

More