Distances between Processes: A Pure Algebraic Approach - Recent Trends in Algebraic DevelopmentTechniques Access content directly
Conference Papers Year : 2013

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.
Fichier principal
Vignette du fichier
978-3-642-37635-1_16_Chapter.pdf (237.88 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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 View
85 Download

Altmetric

Share

Gmail Facebook X LinkedIn More