Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01485974
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, March 9, 2017 - 3:33:33 PM
Last modification on : Tuesday, October 19, 2021 - 3:44:46 PM
Long-term archiving on: : Saturday, June 10, 2017 - 2:25:48 PM

File

978-3-642-37635-1_16_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

73

Files downloads

80