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. © IFIP International Federation for Information Processing 2013.