| HAL-Inria | Publications, software ... of Inria's scientists |
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.
https://hal.inria.fr/hal-01485974
Contributor : Hal Ifip <>
Submitted on : Thursday, March 9, 2017 - 3:33:33 PM
Last modification on : Friday, September 29, 2017 - 2:36:04 PM
Long-term archiving on: : Saturday, June 10, 2017 - 2:25:48 PM
Contributor : Hal Ifip <>
Submitted on : Thursday, March 9, 2017 - 3:33:33 PM
Last modification on : Friday, September 29, 2017 - 2:36:04 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