Distances between Processes: A Pure Algebraic Approach - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Distances between Processes: A Pure Algebraic Approach

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-37635-1_16_Chapter.pdf (237.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01485974 , version 1 (09-03-2017)

Licence

Paternité

Identifiants

Citer

David Romero Hernández, David De Frutos Escrig. Distances between Processes: A Pure Algebraic Approach. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.265-282, ⟨10.1007/978-3-642-37635-1_16⟩. ⟨hal-01485974⟩
88 Consultations
85 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More