Defining Distances for All Process Semantics

Abstract : Recently several authors have proposed some notions of distance between processes that try to quantify “how far away” is a process to be related with some other with respect to a certain semantics. These proposals are usually based on the simulation game, and therefore are mainly defined for simulation semantics or other semantics more or less close to these. These distances have a local character since only one of the successors of each state is taken into account in their computation. Here, we present an alternative proposal exploiting the fact that processes are trees. We define the distance between two of them as the cost of the transformations that we need to apply to get two processes related by the corresponding semantics. Our new distances can be uniformly defined for all the semantics in the ltbt-spectrum.
Type de document :
Communication dans un congrès
Holger Giese; Grigore Rosu. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7273, pp.169-185, 2012, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-30793-5_11〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01528728
Contributeur : Hal Ifip <>
Soumis le : lundi 29 mai 2017 - 15:53:54
Dernière modification le : mercredi 13 juin 2018 - 15:40:02
Document(s) archivé(s) le : mercredi 6 septembre 2017 - 11:41:20

Fichier

978-3-642-30793-5_11_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

David Romero Hernández, David Frutos Escrig. Defining Distances for All Process Semantics. Holger Giese; Grigore Rosu. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7273, pp.169-185, 2012, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-30793-5_11〉. 〈hal-01528728〉

Partager

Métriques

Consultations de la notice

41

Téléchargements de fichiers

23