Metrics for Action-labelled Quantitative Transition Systems

Yuxin Deng 1 Tom Chothia 2 Catuscia Palamidessi 3 Jun Pang 3
3 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural extension of bisimulation from non-quantitative systems to quantitative ones. We then prove that any single state-metric corresponds to a bisimulation and that the greatest state-metric corresponds to bisimilarity. Furthermore, we provide two extended examples which show that our results apply to both probabilistic and weighted automata as special cases of action-labelled quantitative transition systems.
Type de document :
Communication dans un congrès
Antonio Cerone and Herbert Wiklicky. Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Apr 2005, Edinburgh, United Kingdom. Elsevier, 153 (2), pp.79-96, 2006, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2005.10.033〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00201087
Contributeur : Catuscia Palamidessi <>
Soumis le : dimanche 23 décembre 2007 - 12:27:13
Dernière modification le : jeudi 10 mai 2018 - 02:06:34
Document(s) archivé(s) le : mardi 13 avril 2010 - 15:25:29

Fichier

gts.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang. Metrics for Action-labelled Quantitative Transition Systems. Antonio Cerone and Herbert Wiklicky. Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Apr 2005, Edinburgh, United Kingdom. Elsevier, 153 (2), pp.79-96, 2006, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2005.10.033〉. 〈inria-00201087〉

Partager

Métriques

Consultations de la notice

588

Téléchargements de fichiers

203