Distances between Processes: A Pure Algebraic Approach

Abstract : Recently, we have presented operational and denotational definitions for distances between processes corresponding to any semantics in the ltbt-spectrum. In this paper, we develop a general algebraic framework to define distances between terms from any arbitrary signature. We apply this framework obtaining a new algebraic characterization of our previous distances. Moreover, we prove the generality of our approach developing an algebraic characterization of the distances based on the (bi)simulation game by other authors.
Type de document :
Communication dans un congrès
Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.265-282, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_16〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01485974
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:33:33
Dernière modification le : vendredi 29 septembre 2017 - 14:36:04
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:25:48

Fichier

978-3-642-37635-1_16_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

David Romero Hernández, David Frutos Escrig. Distances between Processes: A Pure Algebraic Approach. Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.265-282, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_16〉. 〈hal-01485974〉

Partager

Métriques

Consultations de la notice

97

Téléchargements de fichiers

21